Buller, Mark (Brown University) | Cuddihy, Paul (General Electric Research) | Davis, Ernest (New York University) | Doherty, Patrick (Linkoping University) | Doshi-Velez, Finale (Massachusetts Institute of Technology) | Erdem, Esra (Sabanci University) | Fisher, Douglas (Vanderbilt University) | Green, Nancy (University of North Carolina, Greensboro) | Hinkelmann, Knut (University of Applied Sciences Northwestern Switzerland FHNW) | Maher, Mary Lou (University of Maryland) | McLurkin, James (Rice University) | Maheswaran, Rajiv (University of Southern California) | Rubinelli, Sara (University of Lucerne) | Schurr, Nathan (Aptima, Inc.) | Scott, Donia (University of Sussex) | Shell, Dylan (Texas A&M University) | Szekely, Pedro (University of Southern California) | Thönssen, Barbara (University of Applied Sciences Northwestern Switzerland FHNW) | Urken, Arnold B. (University of Arizona)
The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's Department of Computer Science, presented the 2011 Spring Symposium Series Monday through Wednesday, March 21–23, 2011 at Stanford University. The titles of the eight symposia were AI and Health Communication, Artificial Intelligence and Sustainable Design, AI for Business Agility, Computational Physiology, Help Me Help You: Bridging the Gaps in Human-Agent Collaboration, Logical Formalizations of Commonsense Reasoning, Multirobot Systems and Physical Data Structures, and Modeling Complex Adaptive Systems As If They Were Voting Processes.
Abecker, Andreas, Antonsson, Erik K., Callaway, Charles B., Dignum, Virginia, Doherty, Patrick, Elst, Ludger van, Freed, Michael, Freedman, Reva, Guesgen, Hans, Jones, Gareth, Koza, John, Kortenkamp, David, Maybury, Mark, McCarthy, John, Mitra, Debasis, Renz, Jochen, Schreckenghost, Debra, Williams, Mary-Anne
The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's Department of Computer Science, presented the 2003 Spring Symposium Series, Monday through Wednesday, 24-26 March 2003, at Stanford University. The titles of the eight symposia were Agent-Mediated Knowledge Management, Computational Synthesis: From Basic Building Blocks to High- Level Functions, Foundations and Applications of Spatiotemporal Reasoning (FASTR), Human Interaction with Autonomous Systems in Complex Environments, Intelligent Multimedia Knowledge Management, Logical Formalization of Commonsense Reasoning, Natural Language Generation in Spoken and Written Dialogue, and New Directions in Question-Answering Motivation.
Doherty, Patrick, Kvarnstram, Jonas
TALplanner is a forward-chaining planner that utilizes domain-dependent knowledge to control search in the state space generated by action invocation. The domain-dependent control knowledge, background knowledge, plans, and goals are all represented using formulas in a temporal logic called tal, which has been developed independently as a formalism for specifying agent narratives and reasoning about them. In the Fifth International Artificial Intelligence Planning and Scheduling Conference planning competition, TALplanner exhibited impressive performance, winning the Outstanding Performance Award in the Domain-Dependent Planning Competition.