Logics in Artificial Intelligence
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited...
Leider schon ausverkauft
versandkostenfrei
Buch
79.99 €
Produktdetails
Produktinformationen zu „Logics in Artificial Intelligence “
Klappentext zu „Logics in Artificial Intelligence “
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
Inhaltsverzeichnis zu „Logics in Artificial Intelligence “
Invited Talks.- Justification Logic.- Voting in Combinatorial Domains: What Logic and AI Have to Say.- Regular Papers.- Strongly Equivalent Temporal Logic Programs.- Consistency Preservation and Crazy Formulas in BMS.- Propositional Clausal Defeasible Logic.- Complexity and Succinctness Issues for Linear-Time Hybrid Logics.- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.- Normal Form Nested Programs.- A Logic for Closed-World Interaction.- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.- Recovering Consistency by Forgetting Inconsistency.- On the Credal Structure of Consistent Probabilities.- A Fluent Calculus Semantics for ADL with Plan Constraints.- Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks.- Query Answering in the Description Logic Horn- .- Accommodative Belief Revision.- Reasoning about Typicality in Preferential Description Logics.- Counting Complexity of Minimal Cardinality and Minimal Weight Abduction.- Uniform Interpolation by Resolution in Modal Logic.- GOAL Agents Instantiate Intention Logic.- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.- Confluence Operators.- A Game-Theoretic Measure of Argument Strength for Abstract Argumentation.- A Tableau for RoBCTL.- A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes.- Extending Carin to the Description Logics of the Family.- How to Restore Compactness into Probabilistic Logics?.- Combining Modes of Reasoning: An Application of Abstract Argumentation.- Cheap Boolean Role Constructors for Description Logics.- Improved Second-Order Quantifier Elimination in Modal Logic.- Literal Projection for First-Order Logic.- Meta Level Reasoning and Default Reasoning.- Rule Calculus: Semantics,
... mehr
Axioms and Applications.
... weniger
Bibliographische Angaben
- 2008, XI, 428 Seiten, mit Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
- Verlag: Springer Berlin
- ISBN-10: 3540878025
- ISBN-13: 9783540878025
- Erscheinungsdatum: 19.09.2008
Sprache:
Englisch
Kommentar zu "Logics in Artificial Intelligence"
0 Gebrauchte Artikel zu „Logics in Artificial Intelligence“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logics in Artificial Intelligence".
Kommentar verfassen