You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Type

D - Journal article

DOI

10.1016/j.artint.2009.02.003

Title of journal

Artificial Intelligence

Article number

Volume number

173

Issue number

9-10

First page of article

982

ISSN of journal

0004-3702

Year of publication

2009

URL

Number of additional authors

Additional information

<22>A problem long remained open in theories for mulitagent systems is whether temporal-epistemic logic can be extended to first-order to express complex interactions between agents and data. This paper, published in one of the two top journals in Artificial Intelligence, develops a theoretical framework showing that appropriate monodic

fragments enjoy key properties such as completeness. The paper extends results published at a highly selective venue KR08 (27%). This paper laid the theoretical foundations for the EC-funded Strep project ACSI (PIEG-GA-2011-257593, £340K) on the specification and verification of artifact-centric systems, a novel model of services pioneered by IBM.

Interdisciplinary

Cross-referral requested

Research group

A - Logic and Artificial Intelligence

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract