KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: Logics in Artificial Intelligence
Band 5293

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

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2008

Abbildungen

XI, 429 p.

Herausgeber

Steffen Hölldobler + weitere

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87802-5

Beschreibung

Portrait

Dr. Steffen Hölldobler ist wissenschaftlicher Mitarbeiter am Fachbereich Informatik.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2008

Abbildungen

XI, 429 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87802-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: 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, Axioms and Applications.