Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Belardinelli:2007:10.1145/1329125.1329231,
author = {Belardinelli, F and Lomuscio, A},
doi = {10.1145/1329125.1329231},
pages = {601--603},
title = {A quantified epistemic logic for reasoning about multi-agent systems},
url = {http://dx.doi.org/10.1145/1329125.1329231},
year = {2007}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We investigate quantified interpreted systems, a semantics for multiagent systems in which agents can reason about individuals, their properties, and the relationships among them. We analyse a first-order epistemic language interpreted on this semantics and show soundness and completeness of Q.S5n, an axiomatisation for these structures. © 2007 IFAAMAS.
AU - Belardinelli,F
AU - Lomuscio,A
DO - 10.1145/1329125.1329231
EP - 603
PY - 2007///
SP - 601
TI - A quantified epistemic logic for reasoning about multi-agent systems
UR - http://dx.doi.org/10.1145/1329125.1329231
ER -