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 146 of 201 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