Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Logic Programming and Nonmonotonic Reasoning
Band 10377

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.06.2017

Herausgeber

Marcello Balduccini + weitere

Verlag

Springer

Seitenzahl

359

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

569 g

Auflage

1st edition 2017

Sprache

Englisch

ISBN

978-3-319-61659-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.06.2017

Herausgeber

Verlag

Springer

Seitenzahl

359

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

569 g

Auflage

1st edition 2017

Sprache

Englisch

ISBN

978-3-319-61659-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Logic Programming and Nonmonotonic Reasoning
  • Invited Talks.- The Design of the Seventh Answer Set Programming Competition.- A Bird’s-Eye View of Forgetting in Answer-Set Programming.- Answer Set Programming and its Applications in Planning and Multi-Agent Systems.- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models.- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics.- Foundations For A Probabilistic Event Calculus.- Contextual Reasoning: Usually Birds can Abductively Fly.- Including Quantification in Defeasible Reasoning for the Description Logic EL bot.- A Monotonic View on Reflexive Autoepistemic Reasoning.- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity.- Answer Set Programming.- Gelfond-Zhang aggregates as propositional formulas.- Answer Set Solving with Bounded Treewidth Revisited.- Vicious Circle Principle and Formation of Sets in ASP Based Languages.- Answer Set Programs with Queries over Subprograms.- Explaining Inconsistency in Answer Set Programs and Extensions.- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.- Answer Set Programming with Graded Modality.- LPNMR Systems.- The ASP System DLV2.- lp2normal - A Normalization Tool for Extended Logic Programs.- Harvey: A System for Random Testing in ASP.- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.- ArgueApply: A Mobile App for Argumentation.- LPNMR Applications.- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming.- plasp 3: Towards effective ASP Planning.- Nurse Scheduling via Answer Set Programming.- Hybrid Metabolic Network Completion.- Action Language Hybrid AL.- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.- Adjudication of Coreference Annotations via Answer Set Optimization.