↓ Skip to main content

Logic Programming and Nonmotonic Reasoning

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Computational Logic Approach to Heterogenous Agent Systems
  3. Altmetric Badge
    Chapter 2 Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
  4. Altmetric Badge
    Chapter 3 On The Complexity of Model Checking and Inference in Minimal Models
  5. Altmetric Badge
    Chapter 4 Data Integration Needs Reasoning
  6. Altmetric Badge
    Chapter 5 Nonmonotomic Inductive Logic Programming
  7. Altmetric Badge
    Chapter 6 Strong Equivalence for Logic Programs and Default Theories (Made Easy)
  8. Altmetric Badge
    Chapter 7 On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
  9. Altmetric Badge
    Chapter 8 On the Expressibility of Stable Logic Programming
  10. Altmetric Badge
    Chapter 9 On the Relationship between Defeasible Logic and Well-Founded Semantics
  11. Altmetric Badge
    Chapter 10 A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
  12. Altmetric Badge
    Chapter 11 Reasoning with Open Logic Programs
  13. Altmetric Badge
    Chapter 12 Representation of Incomplete Knowledge by Induction of Default Theories
  14. Altmetric Badge
    Chapter 13 Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules
  15. Altmetric Badge
    Chapter 14 Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
  16. Altmetric Badge
    Chapter 15 Bounded LTL Model Checking with Stable Models
  17. Altmetric Badge
    Chapter 16 Diagnosing Physical Systems in A-Prolog
  18. Altmetric Badge
    Chapter 17 Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach
  19. Altmetric Badge
    Chapter 18 Logic Programming and Nonmotonic Reasoning
  20. Altmetric Badge
    Chapter 19 ε - RES : Reasoning about Actions, Events and Observations
  21. Altmetric Badge
    Chapter 20 Omega-Restricted Logic Programs
  22. Altmetric Badge
    Chapter 21 Improving ASP Instantiators by Join-Ordering Methods
  23. Altmetric Badge
    Chapter 22 Optimizing the Computation of Heuristics for Answer Set Programming Systems
  24. Altmetric Badge
    Chapter 23 New Generation Systems for Non-monotonic Reasoning
  25. Altmetric Badge
    Chapter 24 Algorithms for Computing X -Minimal Models
  26. Altmetric Badge
    Chapter 25 Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
  27. Altmetric Badge
    Chapter 26 Multi-adjoint Logic Programming with Continous Semantics
  28. Altmetric Badge
    Chapter 27 Multi-dimensional Dynamic Knowledge Representation
  29. Altmetric Badge
    Chapter 28 Antitonic Logic Programs
  30. Altmetric Badge
    Chapter 29 A -system: Declarative Programming with Abduction
  31. Altmetric Badge
    Chapter 30 An Update Front-End for Extended Logic Programs
  32. Altmetric Badge
    Chapter 31 aspps — An Implementation of Answer-Set Programming with Propositional Schemata
  33. Altmetric Badge
    Chapter 32 NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics
  34. Altmetric Badge
    Chapter 33 plp : A Generic Compiler for Ordered Logic Programs
  35. Altmetric Badge
    Chapter 34 Prototypes for Reasoning with Infinite Stable Models and Function Symbols
  36. Altmetric Badge
    Chapter 35 psmodels: Stable Models Based on Pertinence
  37. Altmetric Badge
    Chapter 36 System Description: DLV
  38. Altmetric Badge
    Chapter 37 System Description: The DLV K Planning System
  39. Altmetric Badge
    Chapter 38 The Smodels System
  40. Altmetric Badge
    Chapter 39 The USA-Advisor: A Case Study in Answer Set Planning
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logic Programming and Nonmotonic Reasoning
Published by
Springer, August 2003
DOI 10.1007/3-540-45402-0
ISBNs
978-3-54-045402-1, 978-3-54-042593-9
Editors

Eiter, Thomas, Faber, Wolfgang, Truszczyński, Miros law

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 33%
Librarian 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 1 33%
Social Sciences 1 33%
Unknown 1 33%