Formalising the Fisherman's Folly puzzle

DOI10.1016/j.artint.2010.04.004zbMath1216.68258OpenAlexW2123486147MaRDI QIDQ543602

Pedro Cabalar, Paulo Eduardo Santos

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.004

zbMATH Keywords

qualitative spatial reasoningcommon sense reasoningreasoning about actions and change

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

A qualitative spatial representation of string loops as holes ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ John McCarthy's legacy

Uses Software

• f2lp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Nonmonotonic logic and temporal projection
• Circumscription - a form of non-monotonic reasoning
• Ramification and causality
• Answer set programming and plan generation
• Nested expressions in logic programs
• Reasoning about space: The hole story
• Strings and Holes: An Exercise on Spatial Reasoning
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach
• Embedding revision programs in logic programming situation calculus
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking

This page was built for publication: Formalising the Fisherman's Folly puzzle