Formalising the fisherman's folly puzzle

Pedro Cabalar, Paulo E. Santos

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)


This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, whose models generalise the stable model semantics.

Original languageEnglish
Pages (from-to)346-377
Number of pages32
JournalArtificial Intelligence
Issue number1
Publication statusPublished - Jan 2011
Externally publishedYes


  • Common sense reasoning
  • Qualitative spatial reasoning
  • Reasoning about actions and change


Dive into the research topics of 'Formalising the fisherman's folly puzzle'. Together they form a unique fingerprint.

Cite this