↓ Skip to main content
What is this page? Embed badge

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 Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
  3. Altmetric Badge
    Chapter 2 Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
  4. Altmetric Badge
    Chapter 3 Locally Determined Logic Programs
  5. Altmetric Badge
    Chapter 4 Annotated Revision Programs
  6. Altmetric Badge
    Chapter 5 Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
  7. Altmetric Badge
    Chapter 6 An Argumentation Framework for Reasoning about Actions and Change
  8. Altmetric Badge
    Chapter 7 Representing Transition Systems by Logic Programs
  9. Altmetric Badge
    Chapter 8 Transformations of Logic Programs Related to Causality and Planning
  10. Altmetric Badge
    Chapter 9 From Causal Theories to Logic Programs (Sometimes)
  11. Altmetric Badge
    Chapter 10 Monotone Expansion of Updates in Logical Databases
  12. Altmetric Badge
    Chapter 11 Updating Extended Logic Programs through Abduction
  13. Altmetric Badge
    Chapter 12 LUPS — A Language for Updating Logic Programs
  14. Altmetric Badge
    Chapter 13 Pushing Goal Derivation in DLP Computations
  15. Altmetric Badge
    Chapter 14 Linear Tabulated Resolution for the Well-Founded Semantics
  16. Altmetric Badge
    Chapter 15 A Case Study in Using Preference Logic Grammars for Knowledge Representation
  17. Altmetric Badge
    Chapter 16 Minimal Founded Semantics for Disjunctive Logic Programming
  18. Altmetric Badge
    Chapter 17 On the Role of Negation in Choice Logic Programs
  19. Altmetric Badge
    Chapter 18 Default Reasoning via Blocking Sets
  20. Altmetric Badge
    Chapter 19 Coherent Well-founded Annotated Logic Programs
  21. Altmetric Badge
    Chapter 20 Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
  22. Altmetric Badge
    Chapter 21 Extending Disjunctive Logic Programming by T -norms
  23. Altmetric Badge
    Chapter 22 Extending the Stable Model Semantics with More Expressive Rules
  24. Altmetric Badge
    Chapter 23 Stable Model Semantics of Weight Constraint Rules
  25. Altmetric Badge
    Chapter 24 Towards First-Order Nonmonotonic Reasoning
  26. Altmetric Badge
    Chapter 25 A Comparison of Sceptical NAF-Free Logic Programming Approaches
  27. Altmetric Badge
    Chapter 26 Characterizations of Classes of Programs by Three-Valued Operators
  28. Altmetric Badge
    Chapter 27 Using LPNMR for Problem Specification and Code Generation
  29. Altmetric Badge
    Chapter 28 Answer Set Planning
  30. Altmetric Badge
    Chapter 29 World-Modeling vs. World-Axiomatizing
  31. Altmetric Badge
    Chapter 30 Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
5 Wikipedia pages

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
Summary X Wikipedia Dimensions citations
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 Nonmonotonic Reasoning
Published by
Springer Berlin Heidelberg, June 2003
DOI 10.1007/3-540-46767-x
ISBNs
978-3-54-066749-0, 978-3-54-046767-0
Editors

Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 100%
Readers by discipline Count As %
Computer Science 2 200%

This page is provided by Altmetric.