Logic Programming and Nonmonotonic Reasoning

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Stable Models for Temporal Theories
3. Altmetric Badge
   Chapter 2 Algorithmic Decision Theory Meets Logic
4. Altmetric Badge
   Chapter 3 Relational and Semantic Data Mining
5. Altmetric Badge
   Chapter 4 Shift Design with Answer Set Programming
6. Altmetric Badge
   Chapter 5 Advances in WASP
7. Altmetric Badge
   Chapter 6 Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics
8. Altmetric Badge
   Chapter 7 Integrating ASP into ROS for Reasoning in Robots
9. Altmetric Badge
   Chapter 8 Automated Inference of Rules with Exception from Past Legal Cases Using ASP
10. Altmetric Badge
    Chapter 9 Online Action Language $$o\mathcal {BC}$$ +
11. Altmetric Badge
    Chapter 10 aspartame : Solving Constraint Satisfaction Problems with Answer Set Programming
12. Altmetric Badge
    Chapter 11 “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis
13. Altmetric Badge
    Chapter 12 A Theory of Intentions for Intelligent Agents
14. Altmetric Badge
    Chapter 13 Answer Set Programming Modulo Acyclicity
15. Altmetric Badge
    Chapter 14 A Framework for Goal-Directed Query Evaluation with Negation
16. Altmetric Badge
    Chapter 15 Implementing Preferences with asprin
17. Altmetric Badge
    Chapter 16 Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
18. Altmetric Badge
    Chapter 17 Performance Tuning in Answer Set Programming
19. Altmetric Badge
    Chapter 18 Enablers and Inhibitors in Causal Justifications of Logic Programs
20. Altmetric Badge
    Chapter 19 Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams
21. Altmetric Badge
    Chapter 20 Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments
22. Altmetric Badge
    Chapter 21 Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
23. Altmetric Badge
    Chapter 22 A Formal Theory of Justifications
24. Altmetric Badge
    Chapter 23 A New Computational Logic Approach to Reason with Conditionals
25. Altmetric Badge
    Chapter 24 Interactive Debugging of Non-ground ASP Programs
26. Altmetric Badge
    Chapter 25 Linking Open-World Knowledge Bases Using Nonmonotonic Rules
27. Altmetric Badge
    Chapter 26 ASP, Amalgamation, and the Conceptual Blending Workflow
28. Altmetric Badge
    Chapter 27 Diagnostic Reasoning for Robotics Using Action Languages
29. Altmetric Badge
    Chapter 28 OOASP: Connecting Object-Oriented and Logic Programming
30. Altmetric Badge
    Chapter 29 Reasoning with Forest Logic Programs Using Fully Enriched Automata
31. Altmetric Badge
    Chapter 30 ASP Solving for Expanding Universes
32. Altmetric Badge
    Chapter 31 Progress in clasp Series 3
33. Altmetric Badge
    Chapter 32 Combining Heuristics for Configuration Problems Using Answer Set Programming
34. Altmetric Badge
    Chapter 33 Infinitary Equilibrium Logic and Strong Equivalence
35. Altmetric Badge
    Chapter 34 On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$ ALM
36. Altmetric Badge
    Chapter 35 Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
37. Altmetric Badge
    Chapter 36 Multi-level Algorithm Selection for ASP
38. Altmetric Badge
    Chapter 37 Clause-Learning for Modular Systems
39. Altmetric Badge
    Chapter 38 Solving Disjunctive Fuzzy Answer Set Programs
40. Altmetric Badge
    Chapter 39 Characterising and Explaining Inconsistency in Logic Programs
41. Altmetric Badge
    Chapter 40 An Implementation of Consistency-Based Multi-agent Belief Change Using ASP
42. Altmetric Badge
    Chapter 41 ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
43. Altmetric Badge
    Chapter 42 Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy
44. Altmetric Badge
    Chapter 43 Logic Programming with Graded Modality
45. Altmetric Badge
    Chapter 44 The Design of the Sixth Answer Set Programming Competition
46. Altmetric Badge
    Chapter 45 Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
47. Altmetric Badge
    Chapter 46 Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences
48. Altmetric Badge
    Chapter 47 Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access
49. Altmetric Badge
    Chapter 48 Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning