Back to Results
First PageMeta Content
Modal logic / Artificial intelligence / Knowledge representation / Kripke semantics / Frame problem / Entailment / Epistemic modal logic / Common knowledge / Stable model semantics / Logic / Philosophical logic / Logic programming


Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli
Add to Reading List

Document Date: 2011-06-04 22:05:46

Open Document

File Size: 267,81 KB

Share Result on Facebook

City

Toronto / /

Company

Multiagent Systems / Cambridge U Press / /

Country

United States / Canada / /

/

Event

Person Communication and Meetings / /

Facility

Stable Model Semantics / /

IndustryTerm

logic systems / These communications / possible solutions / multi-agent systems / /

OperatingSystem

L3 / /

Organization

Department of Computer Science Arizona State University Tempe / International Foundation for Autonomous Agents and Copyright / MIT / Department of Computer Science New Mexico State University Las Cruces / /

Person

M. Gelfond / V / Enrico Pontelli / E. Pontelli / /

Position

Methods General / non-empty head / empty head / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

New Mexico / Arizona / /

Technology

artificial intelligence / /

URL

www.ifaamas.org / /

SocialTag