Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: Logics in Artificial Intelligence

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.08.2012

Abbildungen

XIV, 49 illus., schwarz-weiss Illustrationen

Herausgeber

Luis Fariñas del Cerro + weitere

Verlag

Springer Berlin

Seitenzahl

498

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

770 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33352-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.08.2012

Abbildungen

XIV, 49 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

498

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

770 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33352-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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

  • Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models.- Nested Sequent Calculi for Conditional Logics.- Conflict-Tolerant Semantics for Argumentation Frameworks.- Knowledge Means ’ All ’, Belief Means ’ Most ’.- Generalized DEL-Sequents.- Deciding the Bisimilarity Relation between Datalog Goals.- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.- Conditional Epistemic Planning.- PTL: A Propositional Typicality Logic.- The Complexity of One-Agent Refinement Modal Logic.- The View-Update Problem for Indefinite Databases.- Three-Valued Logics for Incomplete Information and Epistemic Logic.- Exploiting Unfounded Sets for HEX-Program Evaluation.- Using Satisfiability for Non-optimal Temporal Planning.- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic.- Exact Query Reformulation with First-Order Ontologies and Databases.- A Selective Semantics for Logic Programs with Preferences.- A Minimal Model Semantics for Nonmonotonic Reasoning.- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights.- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.- Fault Tolerance in Belief Formation Networks.- Large-Scale Cost-Based Abduction in Full-Fledged First-Order

    Predicate Logic with Cutting Plane Inference.- Belief Base Change Operations for Answer Set Programming.- A Framework for Semantic-Based Similarity Measures for ELH -Concepts.- Sequent Systems for Lewis’ Conditional Logics.- Relevant Minimal Change in Belief Update.- Minimal Proof Search for Modal Logic K Model Checking.- Building an Epistemic Logic for Argumentation.- A Unifying Perspective on Knowledge Updates.- Verifying Brahms Human-Robot Teamwork Models.- On Satisfiability in ATL with Strategy Contexts.- Jumping to Conclusions: A Logico-Probabilistic Foundation forDefeasible Rule-Based Arguments.- Beyond Maxi-Consistent Argumentation Operators.- Reasoning about Agent Programs Using ATL-Like Logics.- Qualitative Approximate Behavior Composition.- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information.- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas.- OMiGA: An Open Minded Grounding On-The-Fly Answer Set Solver.- The Multi-Engine ASP Solver ME-ASP.- A System for the Use of Answer Set Programming in Reinforcement Learning.- The Tableau Prover Generator MetTeL2.