↓ Skip to main content

Logic Programming and Nonmonotonic Reasoning

Overview of attention for book
Cover of 'Logic Programming and Nonmonotonic Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Nonmonotonic Reasoning in FLORA-2
  3. Altmetric Badge
    Chapter 2 Data Integration and Answer Set Programming
  4. Altmetric Badge
    Chapter 3 Halo I: A Controlled Experiment for Large Scale Knowledge Base Development
  5. Altmetric Badge
    Chapter 4 Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates
  6. Altmetric Badge
    Chapter 5 Loops: Relevant or Redundant?
  7. Altmetric Badge
    Chapter 6 Approximating Answer Sets of Unitary Lifschitz-Woo Programs
  8. Altmetric Badge
    Chapter 7 On Modular Translations and Strong Equivalence
  9. Altmetric Badge
    Chapter 8 Guarded Open Answer Set Programming
  10. Altmetric Badge
    Chapter 9 External Sources of Computation for Answer Set Solvers
  11. Altmetric Badge
    Chapter 10 Answer Sets for Propositional Theories
  12. Altmetric Badge
    Chapter 11 An ID-Logic Formalization of the Composition of Autonomous Databases
  13. Altmetric Badge
    Chapter 12 On the Local Closed-World Assumption of Data-Sources
  14. Altmetric Badge
    Chapter 13 Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
  15. Altmetric Badge
    Chapter 14 An Approximation of Action Theories of $\mathcal{AL}$ and Its Application to Conformant Planning
  16. Altmetric Badge
    Chapter 15 Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
  17. Altmetric Badge
    Chapter 16 Some Logical Properties of Nonmonotonic Causal Theories
  18. Altmetric Badge
    Chapter 17 $\mathcal{M}$ odular- ε : An Elaboration Tolerant Approach to the Ramification and Qualification Problems
  19. Altmetric Badge
    Chapter 18 Platypus : A Platform for Distributed Answer Set Solving
  20. Altmetric Badge
    Chapter 19 Solving Hard ASP Programs Efficiently
  21. Altmetric Badge
    Chapter 20 Mode-Directed Fixed Point Computation
  22. Altmetric Badge
    Chapter 21 Lookahead in Smodels Compared to Local Consistencies in CSP
  23. Altmetric Badge
    Chapter 22 Nested Epistemic Logic Programs
  24. Altmetric Badge
    Chapter 23 An Algebraic Account of Modularity in ID-Logic
  25. Altmetric Badge
    Chapter 24 Default Reasoning with Preference Within Only Knowing Logic
  26. Altmetric Badge
    Chapter 25 A Social Semantics for Multi-agent Systems
  27. Altmetric Badge
    Chapter 26 Revisiting the Semantics of Interval Probabilistic Logic Programs
  28. Altmetric Badge
    Chapter 27 Routley Semantics for Answer Sets
  29. Altmetric Badge
    Chapter 28 The Well Supported Semantics for Multidimensional Dynamic Logic Programs
  30. Altmetric Badge
    Chapter 29 Application of Smodels in Quartet Based Phylogeny Construction
  31. Altmetric Badge
    Chapter 30 Using Answer Set Programming for a Decision Support System
  32. Altmetric Badge
    Chapter 31 Data Integration: a Challenging ASP Application
  33. Altmetric Badge
    Chapter 32 Abduction and Preferences in Linguistics
  34. Altmetric Badge
    Chapter 33 Inference of Gene Relations from Microarray Data by Abduction
  35. Altmetric Badge
    Chapter 34 nomore < : A System for Computing Preferred Answer Sets
  36. Altmetric Badge
    Chapter 35 Integrating an Answer Set Solver into Prolog: $\mathbb{ASP}$ - $\mathbb{PROLOG}$
  37. Altmetric Badge
    Chapter 36 circ2dlp — Translating Circumscription into Disjunctive Logic Programming
  38. Altmetric Badge
    Chapter 37 Pbmodels — Software to Compute Stable Models by Pseudoboolean Solvers
  39. Altmetric Badge
    Chapter 38 K Monitor – A Tool for Monitoring Plan Execution in Action Theories
  40. Altmetric Badge
    Chapter 39 The nomore ++ System
  41. Altmetric Badge
    Chapter 40 Smodels A — A System for Computing Answer Sets of Logic Programs with Aggregates
  42. Altmetric Badge
    Chapter 41 A DLP System with Object-Oriented Features
  43. Altmetric Badge
    Chapter 42 Testing Strong Equivalence of Datalog Programs – Implementation and Examples
  44. Altmetric Badge
    Chapter 43 SELP – A System for Studying Strong Equivalence Between Logic Programs
  45. Altmetric Badge
    Chapter 44 cmodels – SAT-Based Disjunctive Answer Set Solver
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley