Formalising the Fisherman's Folly puzzle
type: Item
instance of: scholarly article
title: Formalising the Fisherman's Folly puzzle
zbMATH Open document ID: 1216.68258
author: Pedro Cabalar
author: Paulo E. Santos
published in: Artificial Intelligence
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5909446
zbMATH Keywords: common sense reasoning
zbMATH Keywords: qualitative spatial reasoning
zbMATH Keywords: reasoning about actions and change
describes a project that uses: f2lp
MaRDI profile type: Publication
full work available at URL: j.artint.2010.04.004
OpenAlex ID: W2123486147
cites work: Qualitative spatial representation and reasoning: An overview
cites work: Q3184604
cites work: Q3995236
cites work: Nonmonotonic logic and temporal projection
cites work: Q4369407
cites work: Strings and Holes: An Exercise on Spatial Reasoning
cites work: Q5633670
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q4296747
cites work: Reasoning about space: The hole story
cites work: Q3668494
cites work: A logic-based calculus of events
cites work: Q3493308
cites work: Q4839154
cites work: Ramification and causality
cites work: Representing action and change by logic programs
cites work: Embedding revision programs in logic programming situation calculus
cites work: Representing actions in logic programs and default theories a situation calculus approach
cites work: Logics in Artificial Intelligence
cites work: Answer set programming and plan generation
cites work: An attempt to formalise a non-trivial benchmark problem in common sense reasoning
cites work: Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
cites work: Nested expressions in logic programs
DOI: 10.1016/J.ARTINT.2010.04.004
description: scientific article; zbMATH DE number 5909446