Mid-sized axiomatizations of commonsense problems: A case study in egg cracking

DOI10.1023/A:1010512415344MaRDI QIDQ5945925zbMATH OpenOpenAlexFDO

Authors Leora Morgenstern

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

zbMATH Keywords

commonsense reasoninginitial specification problemunobtainable state problem

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• scientific article; zbMATH DE number 4049142
• scientific article; zbMATH DE number 770149
• scientific article; zbMATH DE number 4068338
• Reasoning about action. I: A possible worlds approach

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945925)