Logic Programming and Nonmonotonic Reasoning

13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

AvFrancesco Calimeri,Giovambattista Ianni

Häftad, Engelska, 2015

Del 9345 i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

Produktinformation

Utgivningsdatum:2015-09-07
Mått:155 x 235 x 32 mm
Vikt:879 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:574
Förlag:Springer International Publishing AG
ISBN:9783319232638

Utforska kategorier

Innehållsförteckning

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.

Du kanske också är intresserad av

Del 10370

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

Häftad

556 kr

Nonmonotonic Logic

V. Wiktor Marek, Miroslaw Truszczynski

Inbunden

1 606 kr

Nonmonotonic Logic

V. Wiktor Marek, Miroslaw Truszczynski

Häftad

1 712 kr

Logics in Artificial Intelligence

Sergio Flesca, Giovambattista Ianni

Häftad

1 105 kr

Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary

Gerhard Brewka, Victor W. Marek, Miroslaw Truszczynski

Häftad

251 kr

Learning and Reasoning with Complex Representations

Grigoris Antoniou, Aditya K. Ghose, Miroslaw Truszczynski

Häftad

556 kr

Del 10702

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

Häftad

468 kr

Del 1947

Artificial Intelligence. ECAI 2023 International Workshops

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova

Häftad

1 215 kr

Del 9060

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran

Häftad

556 kr

Del 11468

Logics in Artificial Intelligence

Francesco Calimeri, Nicola Leone, Marco Manna

Häftad

1 052 kr

Företag, bibliotek eller offentlig verksamhet?

Logic Programming and Nonmonotonic Reasoning

13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Du kanske också är intresserad av

Reasoning Web. Semantic Interoperability on the Web

Nonmonotonic Logic

Nonmonotonic Logic

Logics in Artificial Intelligence

Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary

Learning and Reasoning with Complex Representations

Practical Aspects of Declarative Languages

Artificial Intelligence. ECAI 2023 International Workshops

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Logics in Artificial Intelligence

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration