Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
Band 9345

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2015

Abbildungen

XIV, 574 p. 76 illus.

Herausgeber

Francesco Calimeri + weitere

Verlag

Springer

Seitenzahl

574

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

879 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23263-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2015

Abbildungen

XIV, 574 p. 76 illus.

Herausgeber

Verlag

Springer

Seitenzahl

574

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

879 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23263-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: Logic Programming and Nonmonotonic Reasoning
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Invited Talk: Stable Models for Temporal Theories.- Invited Talk: Algorithmic Decision Theory meets Logic.- Invited Talk: Relational and Semantic Data Mining.- Shift-design with Answer Set Programming.- Advances in WASP.- Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics.- Integrating ASP into ROS for Reasoning in Robots.- Automated inference of rules with exception from past legal cases using ASP.- Online Action Language oBC+.-aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.- _Add Another Blue Stack of the Same Height!_: Plan Failure Analysis and Interactive Planning Through Natural Language Communication.- A Theory of Intentions for Intelligent Agents (Extended Abstract).- Answer Set Programming modulo Acyclicity.- A Framework for Goal-Directed Query Evaluation with Negation.- Implementing preferences with aspirin.- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP.- Performance Tuning in Answer Set Programming.- Enablers and Inhibitors in Causal Justifications of Logic Programs.- Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams.- Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments.- Digital Forensics Evidence Analysis: An Answer Set Programming.- Approach for Generating Investigation Hypotheses.- A Formal Theory of Justifications.- A New Computational Logic Approach to Reason with Conditionals.- Interactive debugging of non-ground ASP programs.- Linking Open-world Knowledge Bases using Nonmonotonic Rules.- ASP, Amalgamation, and the Conceptual Blending Workflow.- Diagnostic Reasoning for Robotics using Action Languages.- OOASP: Connecting Object-oriented and Logic Programming.- Reasoning with Forest Logic Programs Using Fully Enriched Automata.- ASP Solving for Expanding Universes.- Progress in clasp series 3.- Combining Heuristics for Configuration Problems Using Answer Set Programming.- Infinitary Equilibrium Logic and Strong Equivalence.- On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM.- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.- Multi-Level Algorithm Selection for ASP.- Clause-Learning For Modular Systems.- Solving disjunctive fuzzy answer set programs.- Characterizing and Explaining Inconsistency in Logic Programs.- An Implementation of Consistency-Based Multi-Agent Belief Change using ASP.- ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories.- Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy.- Logic Programming with Graded Modality.-The Design of the Sixth Answer Set Programming Competition.- Doctoral Consortium Extended Abstract: Planning With Concurrent Transaction Logic.- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences.- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based DataAccess.- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.