Erik T. Mueller

Research Staff Member, IBM Research

E-mail: mueller at media mit edu
Web site: http://xenia.media.mit.edu/~mueller/

Conferences

  1. Organizing Committee, Workshop on Common Sense and Intelligent User Interfaces: Story Understanding and Generation for Context-Aware Interface Design, 2009.
  2. Program Committee, AAAI Spring Symposium on Intelligent Narrative Technologies II, 2009.
  3. Program Committee, IJCAI-09 Workshop on Logic and the Simulation of Interaction and Reasoning 2, 2009.
  4. Program Committee, Second ACM Workshop on Story Representation, Mechanism, and Context, 2008.
  5. Program Committee, Twenty-Third AAAI Conference on Artificial Intelligence, 2008.

Books

  1. Commonsense Reasoning
  2. Daydreaming in Humans and Machines

Papers

  1. Mueller, Erik T. (2009). Automating commonsense reasoning using the event calculus. Communications of the ACM, 52(1), 113-117. doi:10.1145/1435417.1435443
  2. Havasi, Catherine,  Lieberman, Henry,  & Mueller, Erik T. (2009). CSIUI 2009: Story understanding and generation for aware and interactive interface design. Proceedings of the 2009 International Conference on Intelligent User Interfaces (p. 491). New York: Association for Computing Machinery. doi:10.1145/1502650.1502731
  3. Mueller, Erik T. (2008). Event calculus. In Frank van Harmelen, Vladimir Lifschitz, & Bruce Porter (Eds.), Handbook of Knowledge Representation (pp. 671-708). Amsterdam: Elsevier.
  4. Mueller, Erik T. (2007). Modelling space and time in narratives about restaurants. Literary and Linguistic Computing, 22(1), 67-84. PDF doi:10.1093/llc/fql014
  5. Hillis, Danny,  McCarthy, John,  Mitchell, Tom M.,  Mueller, Erik T.,  Riecken, Doug,  Sloman, Aaron,  & Winston, Patrick Henry (2007). In honor of Marvin Minsky's contributions on his 80th birthday. AI Magazine, 28(4), 103-110.
  6. Mueller, Erik T. (2007). Understanding goal-based stories through model finding and planning. In Brian S. Magerko & Mark O. Riedl (Eds.), Intelligent Narrative Technologies: Papers from the AAAI Fall Symposium (pp. 95-101). Technical Report FS-07-05. Menlo Park, CA: AAAI Press.
  7. Mueller, Erik T. (2007). Discrete event calculus with branching time. In Eyal Amir, Vladimir Lifschitz, & Rob Miller (Eds.), Logical Formalizations of Commonsense Reasoning: Papers from the 2007 AAAI Spring Symposium (pp. 126-131). Technical Report SS-07-05. Menlo Park, CA: AAAI Press. Extended version
  8. Mueller, Erik T. (2006). Event calculus and temporal action logics compared. Artificial Intelligence, 170(11), 1017-1029. doi:10.1016/j.artint.2006.05.001
  9. Mueller, Erik T., & Sutcliffe, Geoff (2005). Reasoning in the event calculus using first-order automated theorem proving. In Ingrid Russell & Zdravko Markov (Eds.), Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference (pp. 840-841). Menlo Park, CA: AAAI Press.
  10. Mueller, Erik T., & Sutcliffe, Geoff (2005). Discrete event calculus deduction using first-order automated theorem proving. In Boris Konev & Stephan Schulz (Eds.), Proceedings of the Fifth International Workshop on the Implementation of Logics (pp. 43-56). Montevideo, Uruguay. Technical Report ULCS-05-003, Department of Computer Science, University of Liverpool.
  11. Mueller, Erik T. (2004). Event calculus reasoning through satisfiability. Journal of Logic and Computation, 14(5), 703-730. doi:10.1093/logcom/14.5.703
  12. Mueller, Erik T. (2004). Understanding script-based stories using commonsense reasoning. Cognitive Systems Research, 5(4), 307-340. doi:10.1016/j.cogsys.2004.06.001
  13. Mueller, Erik T. (2004). A tool for satisfiability-based commonsense reasoning in the event calculus. In Valerie Barr & Zdravko Markov (Eds.), Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (pp. 147-152). Menlo Park, CA: AAAI Press.
  14. Mueller, Erik T. (2003). Story understanding through multi-representation model construction. In Graeme Hirst & Sergei Nirenburg (Eds.), Text Meaning: Proceedings of the HLT-NAACL 2003 Workshop (pp. 46-53). East Stroudsburg, PA: Association for Computational Linguistics.
  15. McCarthy, John,  Minsky, Marvin,  Sloman, Aaron,  Gong, Leiguang,  Lau, Tessa,  Morgenstern, Leora,  Mueller, Erik T.,  Riecken, Doug,  Singh, Moninder,  & Singh, Push (2002). An architecture of diversity for commonsense reasoning. IBM Systems Journal, 41(3), 530-539. doi:10.1147/sj.413.0524
  16. Mueller, Erik T. (2002). Story understanding. In Lynn Nadel (Ed.), Encyclopedia of Cognitive Science (Vol. 4, pp. 238-246). London: Nature Publishing Group.
  17. Singh, Push,  Lin, Thomas,  Mueller, Erik T.,  Lim, Grace,  Perkins, Travell,  & Zhu, Wan Li (2002). Open Mind Common Sense: Knowledge acquisition from the general public. In Robert Meersman & Zahir Tari (Eds.), Lecture Notes in Computer Science: Vol. 2519. On the Move to Meaningful Internet Systems 2002: DOA/CoopIS/ODBASE 2002 (pp. 1223-1237). Berlin: Springer.
  18. Mueller, Erik T. (2001). Machine-understandable news for e-commerce and web applications. Proceedings of the 2001 International Conference on Artificial Intelligence (pp. 1113-1119). CSREA Press.
  19. Mueller, Erik T. (2000). A calendar with common sense. Proceedings of the 2000 International Conference on Intelligent User Interfaces (pp. 198-201). New York: Association for Computing Machinery. doi:10.1145/325737.325842

Programs

  1. Discrete Event Calculus Reasoner
    list of applications