000 06705nam a22006615i 4500
001 978-3-319-23264-5
003 DE-He213
005 20240730201810.0
007 cr nn 008mamaa
008 150914s2015 sz | s |||| 0|eng d
020 _a9783319232645
_9978-3-319-23264-5
024 7 _a10.1007/978-3-319-23264-5
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogic Programming and Nonmonotonic Reasoning
_h[electronic resource] :
_b13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
_cedited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski.
250 _a1st ed. 2015.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _aXIV, 574 p. 76 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v9345
505 0 _aInvited 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.
520 _aThis 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. The 29 long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9168765
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9168766
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9168767
700 1 _aCalimeri, Francesco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9168768
700 1 _aIanni, Giovambattista.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9168769
700 1 _aTruszczynski, Miroslaw.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9168770
710 2 _aSpringerLink (Online service)
_9168771
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319232638
776 0 8 _iPrinted edition:
_z9783319232652
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v9345
_9168772
856 4 0 _uhttps://doi.org/10.1007/978-3-319-23264-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96718
_d96718