Alessio R. Lomuscio

Publications

2013

A. Lomuscio, J. Michaliszyn. An Epistemic Halpern-Shoham Logic. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13). Beijing, China. To Appear.
F. Belardinelli, A. Lomuscio. Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13). Beijing, China. To Appear.
P. Kouvaros, A. Lomuscio. A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13). Beijing, China. To Appear.
A. Griesmayer, A. Lomuscio. Model Checking Distributed Systems against Temporal-Epistemic Specifications. Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS). Florence, Italy. To Appear. Springer
P. Kouvaros, A. Lomuscio. Automatic Verification of Parametrised Interleaved Multi-Agent Systems. Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS13). Saint Paul, MN, USA. To Appear. IFAAMAS Press.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Assume-Guarantee Reasoning with Local Specifications. International Journal of Foundations of Theoretical Computer Science. To Appear. A preliminary version of this paper appeared in the Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM10). Shanghai, China. Lecture Notes in Computer Science. Vol 6447, pp 204-219. Springer.

2012

F. Belardinelli, A. Lomuscio. Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Journal of Artificial Intelligence Research. Vol 45, pp 1-45.
F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of GSM-based artifact-centric systems through finite abstraction . Proceedings of the 10th International Conference on Service Oriented Computing (ISCOC12). Shanghai, China. Lecture Notes in Computer Science. Vol 7636, pp 17-31. Springer.
P. Gonzalez, A. Griesmayer, A. Lomuscio. Verifying GSM-based Business Artifacts. Proceedings of the 19th International Conference on Web Services (ICWS12). Honolulu, USA. pp 25-32. IEEE Press.
F. Belardinelli, A. Lomuscio, F. Patrizi. An Abstraction Technique for the Verification of Artifact-Centric Systems. Proceedings of the 13th International Conference Principles of Knowledge Representation and Reasoning (KR12). Rome, Italy. pp 319-328. AAAI Press.
G. De Giacomo, P. Felli, A. Lomuscio. Synthesizing agent protocols from LTL specifications against multiple partially-observable environments.. Proceedings of the 13th International Conference Principles of Knowledge Representation and Reasoning (KR12). Rome, Italy. pp 457-466. AAAI Press.
A. Lomuscio, W. Penczek. Symbolic Model Checking for temporal-epistemic logics. Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. Vol 7360, pp 172-195. Springer. 2012. A previous version of this paper appeared in SIGACT News Logic Column. ACM SIGACT News. Logic Column. 38(3), pp 76-100. 2007. ACM Press.
S. Barker, A. J. I. Jones, A. C. Kakas, R. A. Kowalski, A. Lomuscio, R. Miller, S. Muggleton, G. Sartor. The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. Vol 7360, pp 4-11. Springer. 2012.
F. Belardinelli, P. Gonzalez, A. Lomuscio. Automated Verification of Quantum Protocols using MCMAS. Proceedings of 10th Workshop on Quantitative Aspects of Programming Languages (QAPL12). Tallin, Estonia. Electronic Proceedings in Theoretical Computer Science. Vol 85, pp 48-62.
I. Boureanu, A.V. Jones, A. Lomuscio. Automatic Verification of Epistemic Specifications under Convergent Equational Theories. Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS12). Valencia, Spain. pp 1141-1148. IFAAMAS Press.
A.V. Jones, M. Knapik, A. Lomuscio, W. Penczek. Group Synthesis for Parametric Temporal-Epistemic Logic. Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS12). Valencia, Spain. pp 1107-1114. IFAAMAS Press. Best paper nomination.

2011

A. Lomuscio, H. Qu, M. Solanki. Towards verifying contract regulated service composition. Journal of Autonomous Agents and Multi-Agent Systems. pp 345-373, Vol 24(3), Springer.
F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of Deployed Artifact Systems via Data Abstraction. Proceedings of the 9th International Conference on Service Oriented Computing (ICSOC11). Paphos, Cyprus. Lecture Notes in Computer Science. Vol 7084, pp 142-156. Springer.
F. Belardinelli, A.V. Jones, A. Lomuscio. Model checking temporal-epistemic logic using alternating tree automata. Fundamenta Informaticae. pp 19-37, Vol 112(1). A previous version of this paper appeared in the proceedings of the 13th International Workshop on Concurrency, Specification and Programming (CS&P10). Helenenau, Germany.
F. Belardinelli, A. Lomuscio, F. Patrizi. A computationally grounded semantics for artifact centric systems and abstraction results. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11). Barcelona, Spain. pp 738-743. AAAI Press.
J. Ezekiel, A. Lomuscio, L. Molnar, S. Veres. Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. Poster Presentation. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11). Barcelona, Spain. pp 1659-1664. AAAI Press.
A. Lomuscio, W. Penczek, M. Solanki, M. Szreter. Runtime monitoring of contract regulated web services. Fundamenta Informaticae. pp 339-355, Vol 111(3). A shorter version of this paper appeared as an extended abstract in the Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS10). Toronto, Canada. pp 1149-1150, IFAAMAS Press.

2010

J. Ezekiel, A. Lomuscio. A methodology for automatic diagnosability analysis. Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM10). Shanghai, China. Lecture Notes in Computer Science. Vol 6447 pp 549-564. Springer.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Assume-Guarantee Reasoning with Local Specifications. Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM10). Shanghai, China. Lecture Notes in Computer Science. Vol 6447 pp 204-219. Springer.
F. Belardinelli, A. Lomuscio. First-Order Linear-time Epistemic Logic Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundamenta Informaticae. pp 175-190, Vol 106(1).
A. Lomuscio, W. Penczek, H. Qu. Partial order reduction for model checking interleaved multi-agent systems. Fundamenta Informaticae. pp 71-90, Vol 101(1-2). A shorter version of this paper appeared in the Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS10). Toronto, Canada. pp 659-666. IFAAMAS Press.
A. V. Jones, A. Lomuscio. Distributed BDD-based BMC for the Verification of Multi-Agent Systems. Fundamenta Informaticae. To appear. A shorter version of this paper appeared in the Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS10). Toronto, Canada. pp 675-682, IFAAMAS Press.
M. Cohen, A. Lomuscio. Non-elementary speedup for model checking synchronous perfect recall. Short paper. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10). Lisbon, Portugal. pp 1077-1078, IOS Press.
M. Kwiatkowska, A. Lomuscio, H. Qu. Parallel Model Checking for Temporal Epistemic Logic. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10). Lisbon, Portugal. pp 543-548. IOS Press.
A. Lomuscio, H. Qu, F. Russo. Automatic data abstraction in model checking Multi-Agent Systems. Proceedings of the 6th International Workshop on Model Checking and Artificial Intelligence (MochartVI). Atlanta, USA. pp 61-76.
F. Belardinelli, A. Lomuscio. Interactions between knowledge and time in a first-order logic for multi-agent systems. Proceedings of the 12th International Conference on Knowledge Representation and Reasoning (KR10). Toronto, Canada. pp 38-48, AAAI Press.
A. Lomuscio, B. Strulo, N. Walker, P. Wu. Model checking optimisation-based congestion control models. Fundamenta Informaticae. pp 77-96, Vol 102(1). A preliminary version of this paper appeared in the Proceedings of the 12th International Workshop on Concurrency, Specification and Programming (CS&P09). Krakow, Poland. pp 386-397. Warsaw University Press.
I. Boureanu, M. Cohen, A. Lomuscio. Model checking detectability of attacks in multiagent systems. Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS10). Toronto, Canada. pp 691-698, IFAAMAS Press.

2009

I. Boureanu, M. Cohen, A. Lomuscio. A compilation method for the verification of temporal-epistemic properties of cryptographic protocols. Journal of Applied Non-Classical Logics. Vol 19(4), pp 463-487. A preliminary version of this paper appeared in the informal proceedings of the Joint International Workshop on Automated Reasoning for Security Protocols Analysis and Issues in the Theory of Security (ARSPA-WITS09). York, UK.
J. Ezekiel, A. Lomuscio. An automated approach to verifying diagnosability in multi-agent systems. Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM09). Hanoi, Vietnam. pp 51-60. IEEE Press.
M. Cohen, M. Dam, A. Lomuscio, H. Qu. A data symmetry reduction technique for temporal-epistemic logic. Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA09). Macao, SAR. China. Lecture Notes in Computer Science. Vol 5799 pp 69-83. Springer.
M. Cohen, M. Dam, A. Lomuscio, H.Qu A Symmetry Reduction technique for model checking temporal epistemic logic. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI09). Pasadena, USA. pp 721-726. AAAI Press.
F. Belardinelli, A. Lomuscio. First-Order Linear-time Epistemic Logic Group Knowledge: An Axiomatisation of the Monodic Fragment. Proceedings of the 16th Workshop on Logic, Language, Information and Computation. Tokyo, Japan. Lecture Notes in Computer Science. Vol 5514 pp 140-154. Springer.
A. Lomuscio, H. Qu, F. Raimondi MCMAS: A model checker for the verification of multi-agent systems. Proceedings of the 21th International Conference on Computer Aided Verification (CAV09). Grenoble, France. Lecture Notes in Computer Science. Vol 5643 pp 682-688. Springer.
F. Belardinelli, A. Lomuscio. Quantified Epistemic Logic for reasoning about knowledge in Multi-Agent Systems. Artificial Intelligence. Vol 173(9-10), pp 982-1013. Elsevier.
A. Lomuscio, M. Solanki. Mapping OWL-S processes to multi agent systems: A verification oriented approach. Proceedings of the 6th European Semantic Web Conference (ESWC 2009). Lecture notes in Computer Science. Vol 5554 pp 578-592. Springer. (A previous version of this paper appeared in the Proceedings of the 4th International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments (IEEE Press)).
J. Ezekiel, A. Lomuscio. Combining fault injection and model checking to verify fault tolerance in multi-agent systems. Proceedings of the 8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09). Budapest, Hungary. pp 113-120. IFAAMAS Press.
M. Cohen, M. Dam, A. Lomuscio, F. Russo Abstraction in model checking multi-agent systems . Proceedings of the 8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09). Budapest, Hungary. pp 945-952. IFAAMAS Press.

2008

A. Lomuscio, H. Qu, M. Solanki. Towards verifying contract regulated service composition. Proceedings of the 8th International Conference on Web Services (ICWS08). Beijing, China. pp 255-261. IEEE Press.
A. Lomuscio, H. Qu. Towards a partial order reduction techniques for model checking temporal epistemic logics. Proceedings of the 5th International Workshop on Model Checking and Artificial Intelligence (MochartV). Athens, Greece. Lecture Notes in Computer Computer Science. Vol 5348, pp 106-121. Springer.
F. Belardinelli, A. Lomuscio. A complete quantified temporal epistemic logic. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR08). Sydney, Australia. pp 705-714. AAAI Press.
A. Lomuscio, W. Penczek. LDYIS: A framework for model checking security protocols. Fundamenta Informaticae, vol 85 (1-4), pp 359-375. IOS Press.
A. Lomuscio, H. Qu, M. Solanki. Towards verifying compliance in agent-based web service compositions. Proceedings of the 7th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS08). Estoril, Portugal. pp 265-272. IFAAMAS Press.

2007

A. Lomuscio, W. Penczek, B. Wozna. Bounded model checking knowledge and real time. Artificial Intelligence. Vol 171(16-17), pp 1011-1038. Elsevier.
A. Lomuscio, W. Penczek. Symbolic model checking for temporal epistemic logic. SIGACT News Logic Column. ACM SIGACT News. Logic Column. 38(3), pp 76-100. 2007. ACM Press.
A. Lomuscio, W. Penczek. Model checking security protocols: a multiagent systems approach. Proceedings of the 10th International Workshop on Concurrency, Specification and Programming (CS&P07), pp 400-412. Warsaw University Press. An earlier version of this paper appeared as technical Report 1000. Polish Academia of Sciences. Warsaw.
A. Lomuscio, H. Qu, M. Sergot, M. Solanki. Verifying Temporal Epistemic properties of Web service compositions. Proceedings of the 5th International Conference on Service Oriented Computing (ICSOC07). Vienna, Austria. Lecture Notes in Computer Science. Vol 4749, pp 456-461. Springer.
F. Belardinelli, A. Lomuscio. A complete quantified epistemic logic for reasoning about message passing systems. Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII). Porto, Portugal.
F. Belardinelli, A. Lomuscio. Quantified epistemic logics with flexible terms. A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction. Beijing, China. J. van Benthem, S. Ju and F. Veltman editors. College Publications.
S. Edelkamp, A. Lomuscio (editors). Proceedings of MoChartIV: 4th International Workshop on Model Checking and Artificial Intelligence. Springer LNCS Volume 4428.
A. Lomuscio, F. Raimondi, B. Wozna. Verification of the Tesla protocol in MCMAS-X. Fundamenta Informaticae, vol 79 (3-4), pp 473-486. IOS Press.
A. Lomuscio, B. Wozna. A temporal epistemic logic with a reset operation. Proceedings of the 6th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS07). Honolulu, USA. IFAAMAS Press.
F. Belardinelli, A. Lomuscio. A quantified epistemic logic for reasoning about multi-agent systems. Proceedings of the 6th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS07). Short paper. Honolulu, USA. IFAAMAS Press.
A. Lomuscio, C. Pecheur, F. Raimondi. Verification of knowledge and time with NuSMV. Proceedings of the 20th International Conference on Artificial Intelligence (IJCAI07), Hyderabadad, India.

2006

A. Lomuscio, F. Raimondi. The complexity of model checking concurrent programs against CTLK specifications. Post-proceedings of the 4th workshop on Declarative Agent Languages and Technologies (DALT06), Springer LNCS Vol 4327, pp 29-42.
A. Lomuscio, F. Raimondi, B. Wozna. Verification of the TESLA protocol with MCMAS-X. Proceedings of CS&P, International Workshop on Concurrency, Specification and Programming. Wandlitz, Germany, September 2006. Humboldt University.
A. Lomuscio, B. Wozna, A. Zbrzezny. Bounded model checking real-time multi-agent systems with clock differences: theory and implementation. Proceedings of the 4th International Workshop on Model Checking and Artificial Intelligence (MochartIV). LNCS Springer Volume 4428.
A. Lomuscio, B. Wozna. A complete and decidable axiomatisation of deontic interpreted systems. Proceedings of the 8th International Workshop on application of Deontic Logic to Computer Science (DEON06). Utrecht, Netherlands. Springer LNCS Vol 4048.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge editors. Proceedings of LCMAS3, Workshop on Logic and Communication in Multi-Agent Systems. Electronic lecture notes in Theoretical Computer Science. Volume 157:4. Elsevier.
M. Kacprzak, A. Lomuscio, A. Niewiadomski, W. Penczek, F. Raimondi, M. Szreter. Comparing BDD and SAT based techniques for model checking Chaum's Dining cryptography protocol. Fundamenta Informaticae. Vol 72. pp 215--234. IOS Press.
A. Lomuscio, F. Raimondi. The complexity of model checking concurrent programs against CTLK specifications. Proceedings of 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06). Short Paper. Hakodate, Japan. ACM Press.
A. Lomuscio, F. Raimondi. Model checking knowledge, strategies, and games in multi-agent systems. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06). Hakodate, Japan. ACM Press.
W. van der Hoek, A. Lomuscio, M. Wooldridge. On the complexity of practical ATL model checking knowledge, strategies, and games in multi-agent systems. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06). Hakodate, Japan. ACM Press.
A. Lomuscio, B. Wozna. A complete and decidable security-specialised logic and its application to the TESLA protocol. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS06). Hakodate, Japan. ACM Press.
A. Lomuscio, F. Raimondi. MCMAS: a tool for verifying multi-agent systems. Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06). Vienna, Austria. Springer LNCS Vol 3920, pp 450-454.

2005

B. Wozna, A. Lomuscio. A combination of explicit and deductive knowledge with branching time: completeness and decidability results. Post-proceedings of DALT'05, third workshop on Declarative Agent Languages and Technologies, Springer Verlag, LNCS Volume 3904 (a previous version of this paper was presented at CS&P, International Workshop on Concurrency, Specification and Programming. Ruciane, Poland).
F. Raimondi, A. Lomuscio, C. Pecheur. Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. Proceedings of CS&P, International Workshop on Concurrency, Specification and Programming. Ruciane, Poland. pp 433-444, Warsaw University Press.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge editors. Proceedings of LCMAS2, Workshop on Logic and Communication in Multi-Agent Systems. Electronic lecture notes in Theoretical Computer Science. Volume 126.
F. Raimondi, A. Lomuscio. The complexity of symbolic model checking temporal-epistemic logics. Proceedings of CS&P, International Workshop on Concurrency, Specification and Programming. Ruciane, Poland. pp 421-432, Warsaw University Press.
F. Raimondi, A. Lomuscio. Automatic verification of multi-agent systems by model checking via OBDDs. M. Fisher and M. Singh and D. Spears and M. Wooldridge eds. Journal of Applied Logic. Special issue on Logic-based agent verification. Vol 5(2), pp 235-251. Elsevier.
B. Wozna, A. Lomuscio and W.Penczek. Bounded Model Checking for Knowledge and Real Time. Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'05). ACM Press.
A. Lomuscio, D. Nute (editors). Deontic Logic in Computer Science. Special issue of the Journal of Applied Logic. Volume 3, Issues 3-4. Elsevier.

2004

B. Wozna, A. Lomuscio. A logic for knowledge, correctness, and real time. Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). Springer LNCS.
B. Wozna, A. Lomuscio, W. Penczek. Bounded model checking for knowledge over real time. Proceedings of Concurrency Specification and Programming (CSP2004). Potsdam, Germany.
F. Raimondi, A. Lomuscio. Automatic verification of deontic interpreted systems by model checking via OBDDs. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI04). Valencia, Spain.
B. Wozna, A. Lomuscio, W. Penczek. Bounded model checking for deontic interpreted systems. Proceedings of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS04). Nancy, France.
A Lomuscio, D Nute (editors). Proceedings of the Seventh International Workshop on Deontic Logic in Computer Science (DEON04). LNCS Springer volume 3065.
M. Kacprzak, A. Lomuscio, W. Penczek. From bounded to unbounded model checking for interpreted systems. Fundamenta Informaticae. Volume 63 (2,3), pp 107-308.
M. Kacprzak, A. Lomuscio, W. Penczek. Verification of multiagent systems via unbounded model checking. Proceedings of the 3rd International Joint on Autonomous Agents and Multiagent systems. (AAMAS04). New York, USA. ACM Press.
F. Raimondi, A. Lomuscio. Symbolic model checking of multi-agent systems via OBDDs: an algorithm and its implementation. Proceedings of the 3rd International Joint on Autonomous Agents and Multiagent systems. (AAMAS04). New York, USA. ACM Press.
F. Raimondi, A. Lomuscio. Symbolic Model Checking of Deontic Interpreted Systems via OBDDs. Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON04). Madeira, Portugal. Springer LNCS 3065.
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter. Verifying Multi-agent Systems via Unbounded Model Checking. Proceedings of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III). Washington, USA. Springer LNCS Vol 3228.
F. Raimondi, A. Lomuscio. Towards model checking for multiagent systems via OBDDs. Proceedings of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III). Washington, USA. Springer LNCS Vol 3228.

2003

G. Governatori, A. Lomuscio, M. Sergot. A tableux system for deontic interpreted systems. Proceedings of AI03, 16th Australian Joint Conference on Artificial Intelligence. Perth, Australia. Springer LNCS Vol 2903.
W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge editors. Proceedings of LCMAS, Workshop on Logic and Communication in Multi-Agent Systems. Electronic lecture notes in Theoretical Computer Science. Volume 85.
W. van der Hoek, A. Lomuscio. A logic for ignorance. Electronic Lecture Notes of Theoretical Computer Science, volume 85.
F. Raimondi, A. Lomuscio. A tool for the specification and verification of epistemic properties in interpreted systems. Electronic Lecture Notes of Theoretical Computer Science. Vol 85.
A. Lomuscio, M. Sergot. A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic (Selected articles from DEON02 - London). A.J.I. Jones, J. Horty eds. Elsevier. Volume 1. (A previous version of this paper appeared in the proceedings of DEON02).
W. Penczek, A. Lomuscio. Verifying Epistemic Properties of multi-agent systems via model checking. Fundamenta Informaticae, volume 55(2). (A shorter version of this paper appeared in the Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems. Melbourne, 2003.) IOS Press.
W. van der Hoek, A. Lomuscio. Ignore at your peril - towards a logic for ignorance. Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems. Melbourne, 2003. Short paper. ACM Press.
A. Lomuscio, F. Raimondi, M. Sergot. Towards model checking interpreted systems. Proceedings of AAMAS03, Second International Conference on Autonomous Agents and Multi-Agent Systems. Melbourne, 2003. Short paper. ACM Press.
A. Lomuscio, M. Sergot. Deontic Interpreted Systems. Studia Logica (Special Issue on The Dynamics of Knowledge). W. van der Hoek and M. Wooldridge eds. Kluwer Academic Publishers. Volume 75.

2002

A. Lomuscio, T. Lasica, W Penczek. Bounded model checking for interpreted systems: preliminary experimental results. Proceedings of the Second NASA Workshop on Formal Approaches to Agent-Based Systems FAABS II, Greenbelt, MD, USA. Springer Verlag LNCS Vol 2699.
W. Penczek, A. Lomuscio. Bounded Model Checking for Interpreted Systems (extended version). ICS PAS Technical Report 946, 2002. Institute of Computer Science, PAS, 01-237 Warsaw, Poland.
A. Lomuscio, F. Raimondi, M. Sergot. Towards model checking interpreted systems. Proceedings of MoChArt (International Workshop on Model Checking and Artificial Intelligence). Lyon, France.
A. Lomuscio, M. Sergot. The bit transmission problem revisited. Proceedings of AAMAS'02 (First International Joint Conference on Autonomous Agents and Multiagent Systems). Bologna, Italy.
A. Lomuscio, M. Sergot. Violation, error recovery, and enforcement in the bit transmission problem. Proceedings of DEON'02 (Sixth International Workshop on Deontic Logic in Computer Science). London, UK.
A. Lomuscio, M. Wooldridge, N. Jennings. A Classification Scheme for Negotiation in Electronic Commerce. Journal of Group Decision and Negotiation. Kluwer Academic Publishers.

2001

A. Lomuscio and M. Sergot. On Multi-agent systems specification via deontic logic. Proceedings of ATAL01, Agent Theories Languages, and Architectures. Seattle, August. Springer Verlag Lecture Notes in AI vol 2333 (Intelligent Agents VIII).
A. Lomuscio and M. Sergot. Extending Interpreted Systems with some Deontic Concepts. Theoretical Aspects of Rationality and Knowledge 2001. Siena, Italy. Morgan Kauffman publishers.
N. R. Jennings, P. Faratin, A. Lomuscio, S. Parsons, M. Wooldridge, C. Sierra. Automated Negotiation: Prospects, Methods, and Challenges. Journal of Group Decision and Negotiation. 10:199-215, 2001. Kluwer Academic Publishers.

2000

A. Lomuscio and M. Sergot. Investigations in grounded semantics for MAS specifications via deontic logic . Imperial College Technical Reports, London.
M. Wooldridge and A. Lomuscio. Multi-Agent VSK Logic. Proceedings of JELIA2000, 7th European Workshop Logic in Artificial Intelligence. Malaga, Spain. Springer LNAI Vol 1919.
M. Wooldridge and A. Lomuscio. A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence results. Proceedings of FAPR2000, International Conference on Pure and Applied Practical Reasoning. London, September. A revised version appears on the Logic Journal of the IGPL, Volume 9, Issue 2: March 2001.
A. Lomuscio, Ron van der Meyden and M. Ryan. Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast. ACM Transactions of Computational Logic. Volume 1, Issue 2. ACM Press.
A. Lomuscio, M. Wooldridge, N. Jennings. A Classification Scheme for Negotiation in Electronic Commerce. LNAI volume 1991: "Agent Mediated Electronic Commerce; A European Perspective". Springer LNAI ©. pp 19-34,

1999

M. Wooldridge and A. Lomuscio. Reasoning about Visibility, Perception, and Knowledge. Proceedings of the sixth international workshop on Agent Theories, Architectures, and Languages (ATAL-99), Springer LNAI © volume 1757.
A. Lomuscio and M. Ryan. A spectrum of modes of knowledge sharing between agents. Proceedings of the sixth international workshop on Agent Theories, Architectures, and Languages (ATAL-99), Springer LNAI © volume 1757.
A. Lomuscio. Intelligent Agents (Guest editor of the special issue of Crossroads). ACM press.
A. Lomuscio. Information Sharing among Ideal Agents. Ph.D. Thesis. School of Computer Science, University of Birmingham.

1998

A. Lomuscio and M. D. Ryan. An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Vol. 13, No. 2 (Special issue on Temporal Logic in Engineering). Cambridge University Press.
A. Lomuscio and M. Ryan. Model refinement and model checking for S5n. Proceedings of the ECAI-98 Workshop on Practical Reasoning and Rationality, Brighton (UK).
A. Lomuscio and M. Ryan. Ideal agents sharing (some!) knowledge. In Proceedings of ECAI-98, 13th European Conference on Artificial Intelligence. John Wiley & Sons. Brighton (UK), August.

1997

A. Lomuscio and M. Ryan. On the relation between Interpreted Systems and Kripke Models. Proceedings of the AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems, Perth (WA). Springer LNCS Vol 1441.
A. Lomuscio and M. Ryan. A note on the relation between Interpreted Systems and Kripke Models. 2nd Workshop on Practical Reasoning and Rationality, Manchester, April. Expanded version presented at Agent Symposium at ESSLLI97.
A. Lomuscio and M. Ryan. Combining Logics for Multi-Agent systems (Abstract). ModelAge'97, Proceedings of the Esprit WG Workshop. Siena, Italy.

1996

M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan and M. Wooldridge Formalisms for multi-agent systems. The Knowledge Engineering Review, Vol. 12:3, 1997, 315-321. Oxford University Press.
A. Lomuscio and M. Colombetti. QLB: a quantified logic for belief. Intelligent Agents III, Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96). Budapest, Hungary. Springer LNCS Vol 1193.

1995

A. Lomuscio. QLB: una logica predicativa delle credenze. Sintassi, semantica e una procedura di prova automatica dei teoremi. Master's thesis. Politecnico di Milano, December.