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

Reasoning, Action and Interaction in AI Theories and Systems

Overview of attention for book
Cover of 'Reasoning, Action and Interaction in AI Theories and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reasoning, Action and Interaction in AI Theories and Systems
  3. Altmetric Badge
    Chapter 2 Research Perspectives for Logic and Deduction
  4. Altmetric Badge
    Chapter 3 Reductio ad Absurdum: Planning Proofs by Contradiction
  5. Altmetric Badge
    Chapter 4 Computational Logic in an Object-Oriented World
  6. Altmetric Badge
    Chapter 5 Best-First Rippling
  7. Altmetric Badge
    Chapter 6 Partial Solutions with Unique Completion
  8. Altmetric Badge
    Chapter 7 A Computerized Referee
  9. Altmetric Badge
    Chapter 8 About Implicit and Explicit Shape Representation
  10. Altmetric Badge
    Chapter 9 Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems
  11. Altmetric Badge
    Chapter 10 Coordination of Actions in an Autonomous Robotic System
  12. Altmetric Badge
    Chapter 11 Artificial Intelligence in RoboCup
  13. Altmetric Badge
    Chapter 12 Planning Under Uncertainty and Its Applications
  14. Altmetric Badge
    Chapter 13 Reasoning About Web Services in a Temporal Action Logic
  15. Altmetric Badge
    Chapter 14 Intelligent Search on the Internet
  16. Altmetric Badge
    Chapter 15 Cracking Crosswords: The Computer Challenge
  17. Altmetric Badge
    Chapter 16 Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis
  18. Altmetric Badge
    Chapter 17 Examples of Integration of Induction and Deduction in Knowledge Discovery
  19. Altmetric Badge
    Chapter 18 SharedLife: Towards Selective Sharing of Augmented Personal Memories
Attention for Chapter 3: Reductio ad Absurdum: Planning Proofs by Contradiction
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.