Back to Results
First PageMeta Content
Philosophical logic / Model theory / Functions and mappings / Interpretation / Philosophy of mind / Function / Logical connective / Modal logic / Entailment / Logic / Mathematics / Metalogic


Epistemic Coalition Logic: Completeness and Complexity Thomas Ågotnes Natasha Alechina Dept of Information Science and Media Studies
Add to Reading List

Document Date: 2012-02-28 06:45:44

Open Document

File Size: 211,09 KB

Share Result on Facebook

City

Valencia / Nottingham / /

Company

World Scientific / Cambridge University Press / MIT Press / Multiagent Systems / /

Country

United Kingdom / Spain / /

/

Facility

Computer Science University of Nottingham / Media Studies University of Bergen PB / /

IndustryTerm

epistemic operators / tableaux algorithm / multi-agent systems / coalitional ability operators / knowledge operators / axiomatic systems / /

Organization

Cambridge University / MIT / Computer Science University / nza@cs.nott.ac.uk ABSTRACT Coalition / International Foundation for Autonomous Agents / Norway School / Distributed Artificial Intelligence / University of Bergen PB / /

Person

van Drimmelen / Valentin Goranko / Thomas Ågotnes Natasha Alechina / /

Position

MP / model / and that it satisfies φ / General / /

PublishedMedium

Journal of the ACM / Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / /

Technology

artificial intelligence / simulation / tableaux algorithm / two algorithms / /

URL

www.ifaamas.org / /

SocialTag