Publications

15 results for Erik T. Mueller

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