Formalising the Fisherman's Folly puzzle
From MaRDI portal
Publication:543602
DOI10.1016/J.ARTINT.2010.04.004zbMATH Open1216.68258OpenAlexW2123486147MaRDI QIDQ543602FDOQ543602
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
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
- Nested expressions in logic programs
- Title not available (Why is that?)
- A logic-based calculus of events
- Answer set programming and plan generation
- Handbook of knowledge representation.
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning about space: The hole story
- Strings and Holes: An Exercise on Spatial Reasoning
- Title not available (Why is that?)
- An attempt to formalise a non-trivial benchmark problem in common sense reasoning
- Circumscription - a form of non-monotonic reasoning
- Title not available (Why is that?)
- Qualitative spatial representation and reasoning: An overview
- Logics in Artificial Intelligence
- Nonmonotonic logic and temporal projection
- Ramification and causality
- Title not available (Why is that?)
- Embedding revision programs in logic programming situation calculus
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
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
Uses Software
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)
