↓ Skip to main content

Logic-Based Artificial Intelligence

Overview of attention for book
Cover of 'Logic-Based Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to Logic-Based Artificial Intelligence
  3. Altmetric Badge
    Chapter 2 Concepts of Logical AI
  4. Altmetric Badge
    Chapter 3 Two Approaches to Efficient Open-World Reasoning
  5. Altmetric Badge
    Chapter 4 Declarative Problem-Solving Using the DLV System
  6. Altmetric Badge
    Chapter 5 The Role of Default Logic in Knowledge Representation
  7. Altmetric Badge
    Chapter 6 Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
  8. Altmetric Badge
    Chapter 7 Getting to the Airport: The Oldest Planning Problem in AI
  9. Altmetric Badge
    Chapter 8 Encoding Domain and Control Knowledge for Propositional Planning
  10. Altmetric Badge
    Chapter 9 Functional Strips: A More Flexible Language for Planning and Problem Solving
  11. Altmetric Badge
    Chapter 10 Planning with Natural Actions in the Situation Calculus
  12. Altmetric Badge
    Chapter 11 Reinventing Shakey
  13. Altmetric Badge
    Chapter 12 Reasoning Agents in Dynamic Domains
  14. Altmetric Badge
    Chapter 13 Dynamic Logic for Reasoning About Actions and Agents
  15. Altmetric Badge
    Chapter 14 Logic-Based Machine Learning
  16. Altmetric Badge
    Chapter 15 Decision, Nonmonotonic Reasoning and Possibilistic Logic
  17. Altmetric Badge
    Chapter 16 The Role(s) of Belief in AI
  18. Altmetric Badge
    Chapter 17 Modeling the Beliefs of other Agents
  19. Altmetric Badge
    Chapter 18 The Situations We Talk About
  20. Altmetric Badge
    Chapter 19 Linear Time Datalog and Branching Time Logic
  21. Altmetric Badge
    Chapter 20 On the Expressive Power of Planning Formalisms
  22. Altmetric Badge
    Chapter 21 Extending the Smodels System with Cardinality and Weight Constraints
  23. Altmetric Badge
    Chapter 22 Nonmonotonic Reasoning in LDL++
  24. Altmetric Badge
    Chapter 23 Towards a Mechanically Checked Theory of Computation
  25. Altmetric Badge
    Chapter 24 Logic-Based Techniques in Data Integration
Attention for Chapter 6: Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
Altmetric Badge

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
12 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.
Chapter title
Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
Chapter number 6
Book title
Logic-Based Artificial Intelligence
Published by
Springer, Boston, MA, January 2000
DOI 10.1007/978-1-4615-1567-8_6
Book ISBNs
978-1-4613-5618-9, 978-1-4615-1567-8
Authors

Marc Denecker, Victor Marek, Mirosław Truszczyński

Mendeley readers

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

Geographical breakdown

Country Count As %
Austria 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 42%
Student > Master 2 17%
Lecturer > Senior Lecturer 1 8%
Researcher 1 8%
Professor > Associate Professor 1 8%
Other 1 8%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 7 58%
Engineering 2 17%
Mathematics 1 8%
Philosophy 1 8%
Unknown 1 8%