Reasoning in the event calculus using first-order automated theorem proving
- Erik T. Mueller
- Geoff Sutcliffe
- 2005
- FLAIRS 2005
Publications
15 results for Erik T. Mueller
A tool for satisfiability-based commonsense reasoning in the event calculus
- Erik T. Mueller
- 2004
- FLAIRS 2004
Event calculus reasoning through satisfiability
- Erik T. Mueller
- 2004
- Journal of Logic and Computation
Understanding script-based stories using commonsense reasoning
- Stefan Wermter
- Erik T. Mueller
- 2004
- Cognitive Systems Research
An architecture of diversity for commonsense reasoning
- J. McCarthy
- M. Minsky
- et al.
- 2002
- IBM Systems Journal