Pages that link to "Item:Q5945925"
From MaRDI portal
The following pages link to Mid-sized axiomatizations of commonsense problems: A case study in egg cracking (Q5945925):
Displaying 6 items.
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- An attempt to formalise a non-trivial benchmark problem in common sense reasoning (Q814556) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Envisioning the qualitative effects of robot manipulation actions using simulation-based projections (Q2407445) (← links)
- 2007 Spring Meeting of the Association for Symbolic Logic (Q5444713) (← links)
