An attempt to formalise a non-trivial benchmark problem in common sense reasoning
From MaRDI portal
Publication:814556
DOI10.1016/j.artint.2003.05.001zbMath1085.68684OpenAlexW2091205521MaRDI QIDQ814556
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2003.05.001
Related Items
Action models for conditionals ⋮ Pouring liquids: a study in commonsense physical reasoning ⋮ Binary-Compatible Verification of Filesystems with ACL2 ⋮ Formalising the Fisherman's Folly puzzle
Cites Work
This page was built for publication: An attempt to formalise a non-trivial benchmark problem in common sense reasoning