Pages that link to "Item:Q814556"
From MaRDI portal
The following pages link to An attempt to formalise a non-trivial benchmark problem in common sense reasoning (Q814556):
Displaying 7 items.
- Action models for conditionals (Q302248) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Formalizing common sense: an operator-based approach to the Tibbles-Tib problem (Q948987) (← links)
- Pouring liquids: a study in commonsense physical reasoning (Q2389667) (← links)
- Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge (Q5108519) (← links)
- (Q5693582) (← links)
- Binary-Compatible Verification of Filesystems with ACL2 (Q5875435) (← links)