Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems



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




504Huxley BuildingSouth Kensington Campus




Selected Publications

Journal Articles

Kouvaros P, Lomuscio A, 2016, Parameterised verification for multi-agent systems, Artificial Intelligence, Vol:234, ISSN:0004-3702, Pages:152-189

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


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