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

 

Publications

Publication Type
Year
to

188 results found

Lomuscio A, Nute D, 2004, Proceedings of DEON04, Publisher: Springer

Book

Lomuscio A, Sergot M, 2004, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Journal of Applied Logic, Vol: 2, Pages: 93-116, ISSN: 1570-8683

Journal article

Wozna B, Lomuscio A, Penczek W, 2004, Bounded model checking for deontic interpreted systems, Electronic Notes of Theoretical Computer Science, Vol: 126

Journal article

Kacprazk M, Lomuscio A, Penczek W, 2004, Verification of multiagent systems via unbounded model checking, Proceedings of the Third International Joint on Autonomous Agents and Multiagent systems (AAMAS04), Publisher: ACM

Conference paper

Kacprzak M, Lomuscio A, Łasica T, Penczek W, Szreter Met al., 2004, Verifying Multi-agent Systems via Unbounded Model Checking, Publisher: Springer Berlin Heidelberg, Pages: 189-212, ISSN: 0302-9743

Conference paper

, 2004, Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, Publisher: Springer

Conference paper

Raimondi F, Lomuscio A, 2004, A tool for the specification and verification of epistemic properties in interpreted systems, Electronic Notes of Theoretical Computer Science, Vol: 85

Journal article

Raimondi F, Lomuscio A, 2004, Automatic verification of deontic interpreted systems by model checking via obdds, Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04), Publisher: IOS

Conference paper

Raimondi F, Lomuscio A, 2004, Symbolic model checking of multi-agent systems via OBDDs: an algorithm and its implementation, roceedings of the 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS04), Publisher: ACM

Conference paper

Penczek W, Lomuscio A, 2003, Verifying epistemic properties of multi-agent systems via bounded model checking, Fundamenta Informaticae, Vol: 55, Pages: 167-185, ISSN: 0169-2968

We present a framework for verifying temporal and epistemic properties of multi-agent systems by means of bounded model checking. We use interpreted systems as underlying semantics. We give details of the proposed technique, and show how it can be applied to the "attacking generals problem", a typical example of coordination in multi-agent systems.

Journal article

Lomuscio AR, Wooldridge M, Jennings NR, 2003, A Classification Scheme for Negotiation in Electronic Commerce, Group Decision and Negotiation, Vol: 12, Pages: 31-56, ISSN: 1572-9907

In the last few years we have witnessed a surge of business-to-consumer and business-to-business commerce operated on the Internet. However, most current electronic commerce systems are little more than electronic catalogues that allow a user to purchase a product under predetermined and inflexible terms and conditions. We believe that in the next few years we will see a new generation of electronic commerce systems emerge, based on automated negotiation. In this paper, we identify the main parameters on which any automated negotiation depends. To show the applicability of our classification framework, we use it to categorise a representative sample of some of the most prominent negotiation models that exist in the literature.

Journal article

Lomuscio A, Lasica T, Penczek W, 2003, Bounded model checking for interpreted systems: Preliminary experimental results, 2nd International Workshop on Formal Approaches to Agent-Based Systems (FAABS 2002), Publisher: SPRINGER-VERLAG BERLIN, Pages: 115-125, ISSN: 0302-9743

Conference paper

Lomuscio A, Sergot MJ, 2003, Deontic interpreted systems, STUDIA LOGICA, Vol: 75, Pages: 63-92, ISSN: 0039-3215

Journal article

Penczek W, Lomuscio A, 2003, Verifying Epistemic Properties of multi-agent systems via model checking, Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM

Conference paper

Governatori G, Lomuscio A, Sergot MJ, 2003, A tableaux system for deontic interpreted systems, Berlin, 16th Australian conference on artificial intelligence, University of Western Australia, Perth, Australia, 2003, Publisher: Springer-Verlag, Pages: 339-351

Conference paper

van der Hoek W, de Vink E, Lomuscio A, Wooldridge Met al., 2003, Proceedings of LCMAS03 - Special issue, Electronic Notes of Theoretical Computer Science

Journal article

Lomuscio A, Sergot M, 2003, Deontic interpreted systems, Studia Logica, Vol: 75, Pages: 63-92, ISSN: 0039-3215

Journal article

Lomuscio A, Raimondi F, Sergot MJ, 2003, Towards model checking interpreted systems, Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM

Conference paper

Lomuscio A, Sergot M, 2003, , Studia Logica, Vol: 75, Pages: 63-92, ISSN: 0039-3215

Journal article

Penczek W, Lomuscio A, 2003, Verifying epistemic properties of multi-agent systems via bounded model checking., Publisher: ACM, Pages: 209-216

Conference paper

van der Hoek W, Lomuscio A, 2003, Ignore at your peril - towards a logic for ignorance, Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM

Conference paper

D'Inverno M, Luck M, Abramsky S, Vasconcelos W, Sabater J, Sierra C, Querol J, Panzarasa P, Jennings N, McBurney P, Parsons S, O'Riordan C, Van Eijk R, De Boer F, Van der Hoek W, Meyer JJC, Fasli M, Lomuscio A, Sergot M, Schut M, Wooldridge M, Norman T, Reed C, Kollingbaum M, Byde A, Koning JL, Huget MP, Johnson N, Lamper D, Jefferies P, Hart M, Howison S, Kraus S, Karageorgos A, Thompson S, Mehandjiev N, Machado R, Bordini R, Oechslein C, Klugl F, Puppe F, Ashri R, Luck M, Zhu H, Kudenko D, Bauer M, Dengler D, Schroeder M, Noy P, Maheswaran V, Antonopoulos N, Bigham J, Ryan D, Thong WS, Cuthbert Let al., 2002, Practical and theoretical innovations in multi-agent systems research, Knowledge Engineering Review, Vol: 17, Pages: 295-301, ISSN: 0269-8889

Journal article

Lomuscio A, Sergot MJ, 2002, The bit transmission problem revisited, Proceedings of AAMAS02, First International Conference on Autonomous Agents and Multi-Agent Systems, Publisher: ACM

Conference paper

Lomuscio A, Sergot M, 2002, On multi-agent systems specification via Deontic Logic, Berlin, 8th international workshop on agent theories, architectures, and language (ATAL 2001), Seattle, Washington, 2001, Publisher: Springer-Verlag, Pages: 86-99

Conference paper

D'Inverno M, Luck M, Boutilier C, Sierra C, Chong S, Liu K, Bazzan A, Bordini R, Andrioti G, Vicari R, Wahle J, Beer M, Anderson I, Huang W, Fisher M, Ghidini C, Schut M, Wooldridge M, Fatima S, Dixon C, Fisher M, Bolotov A, De Vries W, Van der Hoek W, Meyer JJ, De Boer F, Norman T, Reed C, Preist C, Bartolini C, Phillips I, Poslad S, Buckle P, Hadingham R, Bigham J, Tokarchuk L, Cuthbert L, Ashri R, Wooldridge M, Lomuscio A, Clark K, Robinson P, Doran J, Rana O, Moreau L, Hustadt U, Dixon C, Schmidt R, Fisher M, Meyer JJ, Van der Hoek Wet al., 2001, Multi-agent systems research into the 21st century, Knowledge Engineering Review, Vol: 16, Pages: 271-275, ISSN: 0269-8889

The proceedings of the third UK Workshop on Multi-Agent systems (UKMAS 2001) held at St Catherine's College, Oxford were discussed. A method for solving sequential multi-agent decision problems by allowing agents to reason explicitly about specific coordination mechanisms was proposed. An adaptive organizational policy known as task and resource allocation in computational economy (TRACE), incorporating task and resource allocation for multi-agent systems that operate under time constraints and load variations was also proposed. An object-oriented extension of the multi-threaded Qu-Prolog language developed at Imperial College was also presented.

Journal article

Wooldridge M, 2001, A computationally grounded logic of visibility, perception, and knowledge, Publisher: Oxford University Press (OUP), Pages: 257-272, ISSN: 1367-0751

Conference paper

Lomuscio A, Sergot MJ, 2001, Investigation on Knowledge under Correct Behaviour, TARK01: Theoretical Aspects of Rationality and Knowledge, Publisher: Morgan Kauffman publishers

Conference paper

Jennings NR, Faratin P, Lomuscio AR, Parsons S, Sierra C, Wooldridge Met al., 2001, Automated Negotiation: Prospects, Methods and Challenges, International Journal of Group Decision and Negotiation, Vol: 10, Pages: 199-215

Journal article

Lomuscio A, Wooldridge M, Jennings NR, 2001, A Classification Scheme for Negotiation in Electronic Commerce, Agent-Mediated Electronic Commerce: A European Perspective, Publisher: Springer-Verlag, Pages: 19-33

In the last few years we witnessed a surge of business-to-consumer and business-to-business commerce operated on the Internet. However many of these systems are often nothing more than electronic catalogues on which the user can choose a product which is made available for a fixed price. This modus operandi is clearly failing to exploit the full potential of electronic commerce. Against this background, we argue here that in the next few years we will see a new generation of systems emerge, based on automatic negotiation. In this paper we identify the main parameters on which any automatic negotiation depends. This classification schema is then used to catagorise the subsequent papers in this book that focus on automatic negotiation.

Conference paper

Wooldridge M, Lomuscio A, 2000, Multi-agent VSK logic, 7th European Workshop on Logics in Artificial Intelligence, Publisher: SPRINGER-VERLAG BERLIN, Pages: 300-312, ISSN: 0302-9743

Conference paper

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: id=00306568&limit=30&person=true&page=6&respub-action=search.html