dblp.uni-trier.dewww.uni-trier.de

Erik T. Mueller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
19EECatherine Havasi, Henry Lieberman, Erik T. Mueller: CSIUI 2009: story understanding and generation for aware and interactive interface design. IUI 2009: 491-492
18EEErik 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)
15EEErik 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
12EEErik T. Mueller: Event Calculus Reasoning Through Satisfiability. J. Log. Comput. 14(5): 703-730 (2004)
2002
11EEPush 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
9EEErik T. Mueller: A calendar with common sense. IUI 2000: 198-201
8EEErik T. Mueller: Prospects for in-depth story understanding by computer CoRR cs.AI/0003003: (2000)
7EEErik T. Mueller: A database and lexicon of scripts for ThoughtTreasure CoRR cs.AI/0003004: (2000)
6EEErik 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
4EEErik T. Mueller, Michael G. Dyer: Towards a computational theory of human daydreaming CoRR cs.AI/9812010: (1998)
3EEErik 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

Coauthor Index

1Nicholas L. Cassimatis [16]
2Michael G. Dyer [2] [4]
3Leiguang Gong [10]
4Catherine Havasi [19]
5Tessa A. Lau [10]
6Henry Lieberman [19]
7Grace Lim [11]
8Thomas Lin [11]
9John McCarthy [10]
10Marvin Minsky [10]
11Johanna D. Moore [1] [3]
12Leora Morgenstern [10]
13Travell Perkins [11]
14Gerald J. Popek [1] [3]
15Doug Riecken [10]
16Moninder Singh [10]
17Push Singh [10] [11]
18Aaron Sloman [10]
19Geoff Sutcliffe [14]
20Patrick Henry Winston (Patrick H. Winston) [16]
21Wan Li Zhu [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)