| 2009 |
| 19 | EE | Catherine Havasi,
Henry Lieberman,
Erik T. Mueller:
CSIUI 2009: story understanding and generation for aware and interactive interface design.
IUI 2009: 491-492 |
| 18 | EE | Erik T. Mueller:
Automating commonsense reasoning using the event calculus.
Commun. ACM 52(1): 113-117 (2009) |
| 2006 |
| 17 | | Erik T. Mueller:
Commonsense Reasoning
Morgan Kaufmann 2006 |
| 16 | | Nicholas L. Cassimatis,
Erik T. Mueller,
Patrick Henry Winston:
Editors' Introduction.
AI Magazine 27(2): 12-14 (2006) |
| 15 | EE | Erik T. Mueller:
Event calculus and temporal action logics compared.
Artif. Intell. 170(11): 1017-1029 (2006) |
| 2005 |
| 14 | | Erik T. Mueller,
Geoff Sutcliffe:
Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.
FLAIRS Conference 2005: 840-841 |
| 2004 |
| 13 | | Erik T. Mueller:
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus.
FLAIRS Conference 2004 |
| 12 | EE | Erik T. Mueller:
Event Calculus Reasoning Through Satisfiability.
J. Log. Comput. 14(5): 703-730 (2004) |
| 2002 |
| 11 | EE | Push Singh,
Thomas Lin,
Erik T. Mueller,
Grace Lim,
Travell Perkins,
Wan Li Zhu:
Open Mind Common Sense: Knowledge Acquisition from the General Public.
CoopIS/DOA/ODBASE 2002: 1223-1237 |
| 10 | | John McCarthy,
Marvin Minsky,
Aaron Sloman,
Leiguang Gong,
Tessa A. Lau,
Leora Morgenstern,
Erik T. Mueller,
Doug Riecken,
Moninder Singh,
Push Singh:
An architecture of diversity for commonsense reasoning.
IBM Systems Journal 41(3): (2002) |
| 2000 |
| 9 | EE | Erik T. Mueller:
A calendar with common sense.
IUI 2000: 198-201 |
| 8 | EE | Erik T. Mueller:
Prospects for in-depth story understanding by computer
CoRR cs.AI/0003003: (2000) |
| 7 | EE | Erik T. Mueller:
A database and lexicon of scripts for ThoughtTreasure
CoRR cs.AI/0003004: (2000) |
| 6 | EE | Erik T. Mueller:
Making news understandable to computers
CoRR cs.IR/0003001: (2000) |
| 1998 |
| 5 | | Erik T. Mueller:
Natural Language Processing with Thought Treasure
Signiform 1998 |
| 4 | EE | Erik T. Mueller,
Michael G. Dyer:
Towards a computational theory of human daydreaming
CoRR cs.AI/9812010: (1998) |
| 3 | EE | Erik T. Mueller,
Johanna D. Moore,
Gerald J. Popek:
A nested transaction mechanism for LOCUS
CoRR cs.OS/9812011: (1998) |
| 1985 |
| 2 | | Erik T. Mueller,
Michael G. Dyer:
Daydreaming in Humans and Computers.
IJCAI 1985: 278-280 |
| 1983 |
| 1 | | Erik T. Mueller,
Johanna D. Moore,
Gerald J. Popek:
A Nested Transaction Mechanism for LOCUS.
SOSP 1983: 71-89 |