Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
From MaRDI portal
Publication:5945925
DOI10.1023/A:1010512415344zbMath0985.68063OpenAlexW1856264906MaRDI QIDQ5945925
Publication date: 14 October 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1010512415344
Related Items (6)
Pouring liquids: a study in commonsense physical reasoning ⋮ Representations for robot knowledge in the \textsc{KnowRob} framework ⋮ Envisioning the qualitative effects of robot manipulation actions using simulation-based projections ⋮ Formalising the Fisherman's Folly puzzle ⋮ 2007 Spring Meeting of the Association for Symbolic Logic ⋮ An attempt to formalise a non-trivial benchmark problem in common sense reasoning
This page was built for publication: Mid-sized axiomatizations of commonsense problems: A case study in egg cracking