Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings - Livres de poche

EAN (ISBN-13): 9783540878025
ISBN (ISBN-10): 3540878025
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer Berlin Heidelberg
428 Pages
Poids: 0,677 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-11-03T22:06:51+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-25T11:31:26+01:00 (Zurich)
ISBN/EAN: 3540878025

ISBN - Autres types d'écriture:
3-540-87802-5, 978-3-540-87802-5
Autres types d'écriture et termes associés:
Auteur du livre: lutz heinrich, hlldobler, holldobler, hölldobler, heinrich steffens, hoelldobler, held steffen
Titre du livre: european conference artificial intelligence, october, what logics mean, germany, dresden fuß, lecture notes artificial intelligence, september 2008, logic, taschenbuch

---

Données de l'éditeur

Auteur: Steffen Hölldobler; Carsten Lutz; Heinrich Wansing
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Editeur: Springer; Springer Berlin
429 Pages
Date de parution: 2008-09-19
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 429 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; MAS; Multi-agent system; artificial intelligence; categorical logic; deductive systems; description logics; epistemic logic; formal logic; formal reasoning; intelligence; logic; logic programming; logical inference; machine learning; nonmonotonic reasoning; Artificial Intelligence; Compilers and Interpreters; Programming Techniques; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

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, Axioms and Applications.