Output details
11 - Computer Science and Informatics
Imperial College London
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
<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.