↓ Skip to main content

Reasoning, Action and Interaction in AI Theories and Systems

Overview of attention for book
Attention for Chapter 3: Reductio ad Absurdum: Planning Proofs by Contradiction
Altmetric Badge

Readers on

mendeley
1 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
Reductio ad Absurdum: Planning Proofs by Contradiction
Chapter number 3
Book title
Reasoning, Action and Interaction in AI Theories and Systems
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11829263_3
Book ISBNs
978-3-54-037901-0, 978-3-54-037902-7
Authors

Erica Melis, Martin Pollet, Jörg Siekmann

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 %
Student > Master 1 100%
Readers by discipline Count As %
Mathematics 1 100%