Logic Programming and Nonmonotonic Reasoning

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Syntactic ASP Forgetting with Forks
3. Altmetric Badge
   Chapter 2 Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
4. Altmetric Badge
   Chapter 3 Enumeration of Minimal Models and MUSes in WASP
5. Altmetric Badge
   Chapter 4 Statistical Statements in Probabilistic Logic Programming
6. Altmetric Badge
   Chapter 5 A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming
7. Altmetric Badge
   Chapter 6 A Definition of Sceptical Semantics in the Constellations Approach
8. Altmetric Badge
   Chapter 7 SHACL: A Description Logic in Disguise
9. Altmetric Badge
   Chapter 8 Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy
10. Altmetric Badge
    Chapter 9 Emotional Reasoning in an Action Language for Emotion-Aware Planning
11. Altmetric Badge
    Chapter 10 Metric Temporal Answer Set Programming over Timed Traces
12. Altmetric Badge
    Chapter 11 Epistemic Logic Programs: A Study of Some Properties
13. Altmetric Badge
    Chapter 12 Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
14. Altmetric Badge
    Chapter 13 A Qualitative Temporal Extension of Here-and-There Logic
15. Altmetric Badge
    Chapter 14 Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
16. Altmetric Badge
    Chapter 15 Arguing Correctness of ASP Programs with Aggregates
17. Altmetric Badge
    Chapter 16 Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
18. Altmetric Badge
    Chapter 17 IASCAR: Incremental Answer Set Counting by Anytime Refinement
19. Altmetric Badge
    Chapter 18 Reasoning About Actions with  $$\mathcal EL$$ E L Ontologies and Temporal Answer Sets for DLTL
20. Altmetric Badge
    Chapter 19 Inference to the Stable Explanations
21. Altmetric Badge
    Chapter 20 Semantics for Conditional Literals via the SM Operator
22. Altmetric Badge
    Chapter 21 State Transition in Multi-agent Epistemic Domains Using Answer Set Programming
23. Altmetric Badge
    Chapter 22 Towards Provenance in Heterogeneous Knowledge Bases
24. Altmetric Badge
    Chapter 23 Computing Smallest MUSes of Quantified Boolean Formulas
25. Altmetric Badge
    Chapter 24 Pinpointing Axioms in Ontologies via ASP
26. Altmetric Badge
    Chapter 25 Interlinking Logic Programs and Argumentation Frameworks
27. Altmetric Badge
    Chapter 26 Gradient-Based Supported Model Computation in Vector Spaces
28. Altmetric Badge
    Chapter 27 Towards Causality-Based Conflict Resolution in Answer Set Programs
29. Altmetric Badge
    Chapter 28 xASP: An Explanation Generation System for Answer Set Programming
30. Altmetric Badge
    Chapter 29 Solving Problems in the Polynomial Hierarchy with ASP(Q)
31. Altmetric Badge
    Chapter 30 A Practical Account into Counting Dung’s Extensions by Dynamic Programming
32. Altmetric Badge
    Chapter 31 Clingraph : ASP-Based Visualization
33. Altmetric Badge
    Chapter 32 A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
34. Altmetric Badge
    Chapter 33 QMaxSATpb: A Certified MaxSAT Solver
35. Altmetric Badge
    Chapter 34 Knowledge-Based Support for Adhesive Selection
36. Altmetric Badge
    Chapter 35 ASP for Flexible Payroll Management
37. Altmetric Badge
    Chapter 36 Analysis of Cyclic Fault Propagation via ASP
38. Altmetric Badge
    Chapter 37 Learning to Rank the Distinctiveness of Behaviour in Serial Offending
39. Altmetric Badge
    Chapter 38 Optimising Business Process Discovery Using Answer Set Programming
40. Altmetric Badge
    Chapter 39 DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models
41. Altmetric Badge
    Chapter 40 Correction to: Logic Programming and Nonmonotonic Reasoning