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 |