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

Čermák P, Lomuscio A, Mogavero F, et al., 2018, Practical verification of multi-agent systems against Slk specifications, Information and Computation, Vol:261, ISSN:0890-5401, Pages:588-614

Lomuscio AR, kouvaros, 2016, Parameterised verification for multi-agent systems, Artificial Intelligence, Vol:234, ISSN:1872-7921, Pages:152-189

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, 2012, Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results, Journal of Artificial Intelligence Research, Vol:45, Pages:1-45

Belardinelli F, Lomuscio A, 2009, Quantified Epistemic Logics for Reasoning About Knowledge in Multi-Agent Systems, Artificial Intelligence, Vol:173, Pages:982-1013

Conference

Lomuscio, A R, Penczek, et al., 2007, Bounded Model Checking for Knowledge and Real Time, roceedings of the 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'05), Elsevier

More Publications