Back to Results
First PageMeta Content
Action description language / Interpretation / Entailment / Model theory / Parity of a permutation / Logic / Metalogic / Symbol


An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering
Add to Reading List

Document Date: 2015-05-24 18:08:51


Open Document

File Size: 505,73 KB

Share Result on Facebook

City

Utrecht / San Mateo / San Francisco / Hakodate / London / Edinburgh / /

Company

Wellman / McCarthy 1980 / Doyle 1980 / McDermott / Multiagent Systems / Multi-Agent Systems / Edinburgh University Press / /

Country

Japan / United States / Netherlands / /

Currency

pence / /

/

Facility

University of Amsterdam / /

IndustryTerm

cross product / executability law / computational technologies / observation law / announcement law / forward search planners / component-wise cross-product / /

OperatingSystem

BLAG / /

Organization

Machine Intelligence / National Science Foundation / I. Artificial Intelligence / University of Amsterdam / MIT / Majesty’s Stationery Office / Department of Computer Science New Mexico State University Las Cruces / Tran Cao Son Ira A. Fulton School of Engineering Arizona State University Tempe / Artificial Copyright Intelligence / Association for the Advancement / International Foundation for Autonomous Agents / /

Person

Enrico Pontelli / Tran Cao Son / Gregory Gelfond Enrico Pontelli / Son Ira / Morgan Kaufmann / /

/

ProgrammingLanguage

Prolog / /

ProvinceOrState

Delaware / California / /

PublishedMedium

Journal of the ACM / /

Technology

LAN / artificial intelligence / /

URL

www.aaai.org / /

SocialTag