Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. (2015)

• Record Type: Book
• Other Titles: LPNMR 2015
• Further Information: Note: Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.).
• Editors: Calimeri, Francesco; Ianni, Giovambattista; Truszczyński, Mirosław
• Other Names: LPNMR (Conference), 13th
• Contents: 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 Data Access -- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiv, 574 pages), illustrations
• Subjects: 005.1/15; Computer science; Logic programming -- Congresses; Nonmonotonic reasoning -- Congresses; Logic programming; Nonmonotonic reasoning; Computer Science; Mechanical Engineering - General; Engineering & Applied Sciences; Mechanical Engineering; Computer Science; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Techniques; Computers -- Data Processing; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Software Development & Engineering -- General; Discrete mathematics; Computer programming / software development; Mathematical theory of computation; Software Engineering; Artificial intelligence; Computational complexity; Logic design; Software engineering; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319232645; 3319232649; 3319232630; 9783319232638
• Related ISBNs: 9783319232638
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 24, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.