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.-