Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Januar 2008
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Data Mining / Data Mining and Knowledge Discovery / Database Management / database programming / Databases / Expert systems / knowledge-based systems / Künstliche Intelligenz / Logics and Meanings of Programs / Mathematical theory of computation / Theory of Computation / User interface design & usability / User interfaces (Computer systems) / User Interfaces and Human Computer Interaction mehr...
ISBN:	9783540776833
EAN-Code:	9783540776833
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Information Systems and Applications, incl. Internet/Web, and HCI #4932 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	635 gr
Seiten:	400
Illustration:	XII, 400 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks.- Coupling Design and Verification in Software Product Lines.- Random Geometric Identification.- Strategic Abilities of Agents.- Regular Papers.- Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria.- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.- An Alternative Foundation for DeLP: Defeating Relations and Truth Values.- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.- Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory.- Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning.- Information-Optimal Reflections of View Updates on Relational Database Schemata.- Merging First-Order Knowledge Using Dilation Operators.- On the Existence of Armstrong Instances with Bounded Domains.- Reasoning on Data Models in Schema Translation.- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.- Using Transversals for Discovering XML Functional Dependencies.- Visibly Pushdown Transducers for Approximate Validation of Streaming XML.- A Probabilistic Logic with Polynomial Weight Formulas.- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.- Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities.- Defeasible Reasoning and Partial Order Planning.- Lossless Decompositions in Complex-Valued Databases.- SIM-PDT: A Similarity Based Possibilistic Decision Tree Approach.- Towards a Logic for Abstract MetaFinite State Machines.- Towards a Fuzzy Logic for AutomatedMulti-issue Negotiation.