Formalising the Fisherman's Folly puzzle (Q543602): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2010.04.004
@@ Property / DOI: 10.1016/j.artint.2010.04.004 / rank @@
-Normal rank
@@ Property / author @@
-Paulo Eduardo Santos
@@ Property / author: Paulo Eduardo Santos / rank @@
-Normal rank
@@ Property / author @@
+Paulo Eduardo Santos
@@ Property / author: Paulo Eduardo Santos / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5909446
@@ Property / zbMATH DE Number: 5909446 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+common sense reasoning
@@ Property / zbMATH Keywords: common sense reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+qualitative spatial reasoning
@@ Property / zbMATH Keywords: qualitative spatial reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reasoning about actions and change
@@ Property / zbMATH Keywords: reasoning about actions and change / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+f2lp
@@ Property / describes a project that uses: f2lp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2010.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2123486147
@@ Property / OpenAlex ID: W2123486147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995236
@@ Property / cites work: Q3995236 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369407
@@ Property / cites work: Q4369407 / rank @@
+Normal rank
@@ Property / cites work @@
+Strings and Holes: An Exercise on Spatial Reasoning
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about space: The hole story
@@ Property / cites work: Reasoning about space: The hole story / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668494
@@ Property / cites work: Q3668494 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493308
@@ Property / cites work: Q3493308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding revision programs in logic programming situation calculus
+Normal rank
@@ Property / cites work @@
+Representing actions in logic programs and default theories a situation calculus approach
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+An attempt to formalise a non-trivial benchmark problem in common sense reasoning
+Normal rank
@@ Property / cites work @@
+Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2010.04.004
@@ Property / DOI: 10.1016/J.ARTINT.2010.04.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:543602