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:2008,
author = {Belardinelli, F and Lomuscio, A},
pages = {705--714},
title = {A complete first-order logic of knowledge and time},
year = {2008}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We introduce and investigate quantified interpreted systems, a semantics to reason about knowledge and time in a firstorder setting. We provide an axiomatisation, which we show to be sound and complete. We utilise the formalism to study message passing systems (Lamport 1978; Fagin et al 1995) in a first-order setting, and compare the results obtained to those available for the propositional case. Copyright © 2008, Association for the Advancement of Artificial Intelligence.
AU - Belardinelli,F
AU - Lomuscio,A
EP - 714
PY - 2008///
SP - 705
TI - A complete first-order logic of knowledge and time
ER -