Back to Results
First PageMeta Content
Epistemology / Reasoning / Knowledge representation / Logic programming / Frame problem / Reasoning system / Automated planning and scheduling / Fluent / Unmanned aerial vehicle / Artificial intelligence / Science / Knowledge


Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i
Add to Reading List

Document Date: 2012-01-23 11:34:41

Open Document

File Size: 70,87 KB

Share Result on Facebook

City

New York / Redwood City / FIPA ACL / /

Company

D. Reidel Publishing Company / Cambridge University Press / MIT Press / Dynamical Systems / Ketchpel S. P. / SRI International / Oxford University Press / Benjamin-Cummings Publishing Co. Inc. / /

Country

United States / /

/

EntertainmentAwardEvent

OSCAR / /

Facility

Stanford University / University of Arizona / Link¨oping University / /

IndustryTerm

software agents / larger scale applications / temporal network / execution algorithm / robotic search / similar systems / robotic applications / classical planning algorithms / theorem proving technology / natural language processing / temporal constraint networks / bi-directional search / image processing service / /

OperatingSystem

Unix / /

Organization

Cambridge University / MIT / Center for Industrial Information Technology / Logic-Based Artificial Intelligence / Association for the Advancement / Swedish Foundation for Strategic Research / Patrick Doherty Department of Computer and Information Science / Computer Science Department / Link¨oping University / 4th Artificial Intelligence / Stanford University / Foundation for Intelligent Physical Agents / Artificial Copyright Intelligence / Experimental and Theoretical Artificial Intelligence / Department of Philosophy / Temporal Action Logic / Oxford University / University of Arizona / /

Person

Martin Magnusson / Patrick Doherty / Ernest Davis / David Land´en / /

Position

Advisor / coordinator / planner / Porter / /

ProgrammingLanguage

Prolog / Java / /

ProvinceOrState

New York / Arizona / /

PublishedMedium

Communications of the ACM / Lecture Notes in Computer Science / /

SportsEvent

Formula 1 / /

SportsLeague

Stanford University / /

Technology

classical planning algorithms / Unix / Information Technology / image processing / pdf / natural language processing / theorem proving technology / STNU execution algorithm / artificial intelligence / Java / same technology / http / simulation / /

URL

http /

SocialTag