Cambridge University Press / MIT Press / Dynamical Systems / AAAI Press / SRI International / Oxford University Press / Benjamin-Cummings Publishing Co. Inc. / /
Country
United States / / /
EntertainmentAwardEvent
OSCAR / /
Facility
Stanford University / Link¨oping University / Information Science Link¨oping University / /
IndustryTerm
backward-chaining algorithm / software agents / guide search / possible solutions / model-theoretic tool / interruptible algorithm / similar systems / purpose algorithms / bi-directional search / uav1 i7 search space / search space / larger real-world applications / /
Organization
Cambridge University / MIT / Patrick Doherty Department of Computer / Link¨oping University / Center for Industrial / 4th Artificial Intelligence / Swedish Foundation for Strategic / Stanford University / Foundation for Intelligent Physical Agents / Department of Philosophy / Oxford University / Computer and Information Science Link¨oping University / Association for Computational Linguistics / /
Person
Martin Magnusson / Robert Moore / Jonas Kvarnstr¨om / Donald McKay / Steven P. Ketchpel / Patrick Doherty / Leora Morgenstern / Jay Weber / Richard Fritzson / Chris Beck / Ernest Davis / Stuart Shapiro / Lance J. Rips / Bruce Porter / John Pollock / Richard E. Fikes / Frank van Harmelen / Erik Sandewall / James York / C. Raymond Perrault / James F. Allen / Michael R. Genesereth / Tim Finin / Richard Pelavin / Philip R. Cohen / James Allen / John R. Searle / Michael Mateas / Francis Jeffry Pelletier / /
Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se