Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Selected Publications

Journal Articles

Belardinelli F, Lomuscio A, 2012, Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results, Journal of Artificial Intelligence Research, Vol:45, ISSN:1076-9757, Pages:1-45

Lomuscio A, Qu H, Solanki M, 2012, Towards verifying contract regulated service composition, Autonomous Agents and Multi-Agent Systems, Vol:24, ISSN:1387-2532, Pages:345-373

Belardinelli F, Lomuscio A, 2009, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Artificial Intelligence, Vol:173, ISSN:0004-3702, Pages:982-1013

Conference

Lomuscio A, Penczek W, Wozna B, 2007, Bounded model checking for knowledge and real time, ELSEVIER SCIENCE BV, Pages:1011-1038, ISSN:0004-3702

More Publications