Formalising the Fisherman's Folly puzzle

DOI10.1016/J.ARTINT.2010.04.004MaRDI QIDQ543602zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Paulo E. 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)

Recommendations

• Strings and Holes: An Exercise on Spatial Reasoning
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• scientific article; zbMATH DE number 140399
• Situated Modeling of Epistemic Puzzles

Cites work

• scientific article; zbMATH DE number 4166923 (Why is no real title available?)
• scientific article; zbMATH DE number 3822705 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• scientific article; zbMATH DE number 1099348 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A logic-based calculus of events
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Answer set programming and plan generation
• Circumscription - a form of non-monotonic reasoning
• Embedding revision programs in logic programming situation calculus
• Handbook of knowledge representation.
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
• Nested expressions in logic programs
• Nonmonotonic logic and temporal projection
• Qualitative spatial representation and reasoning: An overview
• Ramification and causality
• Reasoning about space: The hole story
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach
• Strings and Holes: An Exercise on Spatial Reasoning

Cited in

(6)

• Strings and Holes: An Exercise on Spatial Reasoning
• Non-monotonic spatial reasoning with answer set programming modulo theories
• John McCarthy's legacy
• A qualitative spatial representation of string loops as holes
• The saga of a fish: from a survival guide to closing lemmas
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning

Describes a project that uses

Uses Software

• f2lp

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543602)