Erik T. Mueller

Research Staff Member, Watson Technologies
IBM Research

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


Projects

How can computers reason about everyday events and situations? How can computers answer questions precisely and confidently?


Books

  1. Commonsense Reasoning
  2. Daydreaming in Humans and Machines

Publications

  1. Hajishirzi, Hannaneh, & Mueller, Erik T. (2012). Question answering in natural language narratives using symbolic probabilistic reasoning. In H. Chad Lane, G. Michael Youngblood, & Philip McCarthy (Eds.), Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference. Menlo Park, CA: AAAI Press.
  2. Hajishirzi, Hannaneh,  Amir, Eyal,  Mueller, Erik T.,  & Hockenmaier, Julia (2011). Reasoning about RoboCup soccer narratives. Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence. Corvallis, Oregon: AUAI Press.
  3. Hajishirzi, Hannaneh, & Mueller, Erik T. (2011). Symbolic probabilistic reasoning for narratives. In Ernest Davis, Patrick Doherty, & Esra Erdem (Eds.), Logical Formalizations of Commonsense Reasoning: Papers from the 2011 AAAI Spring Symposium. Technical Report SS-11-06. Menlo Park, CA: AAAI Press.
  4. Finlayson, Mark,  Gervás, Pablo,  Mueller, Erik T.,  Narayanan, Srini,  & Winston, Patrick (Eds.). (2010). Computational Models of Narrative: Papers from the 2010 AAAI Fall Symposium. Technical Report FS-10-04. Menlo Park, CA: AAAI Press.
  5. Mueller, Erik T. (2009). Automating commonsense reasoning using the event calculus. Communications of the ACM, 52(1), 113-117. doi:10.1145/1435417.1435443
  6. 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
  7. Mueller, Erik T. (2008). Event calculus. In Frank van Harmelen, Vladimir Lifschitz, & Bruce Porter (Eds.), Handbook of Knowledge Representation (pp. 671-708). Amsterdam: Elsevier.
  8. 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
  9. 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.
  10. 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.
  11. 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
  12. 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
  13. 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.
  14. 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.
  15. 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
  16. 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
  17. 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.
  18. 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.
  19. 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
  20. Mueller, Erik T. (2002). Story understanding. In Lynn Nadel (Ed.), Encyclopedia of Cognitive Science (Vol. 4, pp. 238-246). London: Nature Publishing Group.
  21. 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.
  22. 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.
  23. 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