Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	März 2010
Genre:	EDV / Informatik
	Algorithm Analysis and Problem Complexity / Algorithmen und Datenstrukturen / Algorithms / Algorithms & data structures / C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer science—Mathematics / Computers / Discrete Mathematics / Discrete Mathematics in Computer Science / Diskrete Mathematik / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematics of Computing / Mathematik für Informatiker / Maths for computer scientists / Theory of Computation mehr...
ISBN:	9783642118289
EAN-Code:	9783642118289
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Information Systems and Applications, incl. Internet/Web, and HCI #5956 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	575 gr
Seiten:	363
Illustration:	XII, 363 p. 58 illus., schwarz-weiss Illustrationen
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.- Tools and Techniques in Qualitative Reasoning about Space.- A Simple but Formal Semantics for XML Manipulation Languages.- Algorithmic Definability and Completeness in Modal Logic.- Regular Articles.- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games.- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting.- Enhancing Dung's Preferred Semantics.- On the Distance of Databases.- On the Existence of Armstrong Data Trees for XML Functional Dependencies.- Polymorphism in Datalog and Inheritance in a Metamodel.- Possibilistic Semantics for Logic Programs with Ordered Disjunction.- Semantic Web Search Based on Ontological Conjunctive Queries.- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework.- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.- Theoretical Foundations for Enabling a Web of Knowledge.- Towards Controlled Query Evaluation for Incomplete First-Order Databases.- Bagging Decision Trees on Data Sets with Classification Noise.- Evolving Schemas for Streaming XML.- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation.- Towards a Paradoxical Description Logic for the Semantic Web.- Towards a Unified Model of Preference-Based Argumentation.- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data.