Selected Publications

A bibtex format of my publications can be found here.
If you want a paper that is not available here, or if you have any problems accessing these documents, e-mail me. My publications may also be viewed at dblp.

2010

1. Artikis A. and Sergot M. Executable Specification of Open Multi-Agent Systems, Logic Journal of the IGPL, doi: 10.1093/jigpal/jzp071, to appear in 2010. (pdf)

2. Artikis A., Skarlatidis A. and Paliouras G. Behaviour Recognition from Video Content: A Logic Programming Approach, International Journal of Artificial Intelligence Tools, to appear in 2010.

3. Urovi V., Bromuri S., Stathis K. and Artikis A. Towards Run-Time Support for Norm-Governed Multi-Agent Systems. Proceedings of International Conference ok Knowledge Representation (KR), 2010.

2009

1. Artikis A., Sergot M. and Pitt J. Specifying Norm-Governed Computational Societies, ACM Transactions on Computational Logic, 10(1), 2009. (pdf)

2. Artikis A. Dynamic Protocols for Open Agent Systems, in Proceedings of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 97-104, ACM, 2009. (pdf)

3. Apostolou M. and Artikis A. Evaluating Dynamic Protocols for Open Agent Systems, in Proceedings of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1419-1420, ACM, 2009. (pdf)

4. Artikis A. Formalising Dynamic Protocols for Open Agent Systems, in Proceedings of International Conference on Artificial Intelligence & Law (ICAIL), ACM, 2009.

5. Artikis A., Kaponis D. and Pitt J. Dynamic Specifications of Norm-Governed Systems, chapter in 'Multi-Agent Systems: Semantics and Dynamics of Organisational Models', ed. V. Dignum, IGI Global, ISBN: 1-60566-256-9, 2009. (pdf)

6. Vouros G., Artikis A., Stathis K. and Pitt J. (editors), Organised Adaptation in Multi-Agent Systems, Springer, LNAI 5368, 2009.

7. Artikis A., Picard G. and Vercouter L. (editors), Engineering Societies in the Agents World (ESAW) IX, Springer, LNAI 5485, 2009.

8. Artikis A. and Pitt J. Specifying Open Agent Systems: A Survey, in Proceedings of the ESAW IX workshop, Springer, LNAI 5485, 2009. (pdf)

9. Carr H., Pitt J. and Artikis A. Peer Pressure as a Driver of Adaptation in Agent Societies, in Proceedings of the ESAW IX workshop, Springer, LNAI 5485, 2009.

10. Artikis A. and Paliouras G. Behaviour Recognition Using the Event Calculus, in Proceedings of IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI), Springer, 2009. (pdf)

11. Artikis A. and Paliouras G. Event Recognition for Intelligent Resource Management, PerAda Magazine, 2009. (pdf)

2008

1. Artikis A., O'Hare G., Stathis K. and Vouros G. (editors), Engineering Societies in the Agents World VIII, Springer, LNAI 4995, 2008.

2007

1. Artikis A., Sergot M. and Pitt J. An Executable Specification of a Formal Argumentation Protocol, Artificial Intelligence Journal, 171(10-15):776-804, 2007. (pdf)

2. Artikis A., Kamara L. and Pitt J. A Norm-Governed Systems Perspective of Ad Hoc Networks, in the Proceedings of the ESAW 2006 workshop, Springer, LNAI 4457, pp. 143-160, 2007. (pdf)

2006

1. Pitt J., Kamara L., Sergot M. and Artikis A. Voting in Multi-Agent Systems, the Computer Journal, 49(2): 156-170, Oxford Journals, 2006.

2005

1. Artikis A., Kamara L., Pitt J. and Sergot M. A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks, in the Proceedings of the Declarative Agent Languages and Technologies (DALT) 2004 workshop, Springer. (pdf)

2. Pitt J., Kamara L., Sergot M. and Artikis A. Formalisation of a Voting Protocol for Virtual Organisations, in the Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 373-380, ACM, Utrecht, 2005.

3. Pitt J., Kamara L., Sergot M. and Artikis A. Voting in On-Line Deliberative Assemblies, in the Proceedings of Artificial Intelligence and Law (ICAIL), pp. 195-204, ACM, Bologna, 2005.

2003

1. Artikis A. Executable Specification of Open Norm-Governed Computational Systems, Ph.D. thesis, Department of Electrical & Electronic Engineering, Imperial College London, November 2003. (pdf)

2. Artikis A., Sergot M. and Pitt J. An Executable Specification of an Argumentation Protocol, in the Proceedings of Artificial Intelligence and Law (ICAIL), pp. 1-11, Edinburgh, 2003. [Received the Donald H. Berman Award for Best Student Paper] (pdf) (C+ formalisation, sample queries 1, 2, 3, 4, 5)

3. Artikis A., Sergot M. and Pitt J. Specifying Electronic Societies with the Causal Calculator, in the Proceedings of the Agent-Oriented Software Engineering III (AOSE) workshop, LNCS 2585, Springer, 2003. (pdf)

4. Kamara L., Artikis A., Neville B. and Pitt J. Simulating Computational Societies, in the Proceedings of the ESAW 2002 workshop, Springer, 2003. (pdf)

2002

1. Artikis A., Pitt J. and Sergot M. Animated Specifications of Computational Societies, in the Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1053-1062, Bologna, 2002. [Finalist for Best Paper Award at this conference] (pdf)

2. Witkowski M., Artikis A. and Pitt J. Experiments in Building Experiential Trust in a Society of Objective-Trust Based Agents, in the book 'Trust in Cyber-Societies', LNAI 2246, Springer, pp. 111-133, 2002. (pdf)

2001

1. Artikis A. and Pitt J. A Formal Model of Open Agent Societies, in the Proceedings of Autonomous Agents 2001, pp. 192-193, Montreal, 2001.

2. Pitt J., Kamara L. and Artikis A. Interaction Patterns and Observable Commitments in a Multi-Agent Trading Scenario, in the Proceedings of Autonomous Agents 2001, pp. 481-489, Montreal, 2001.

3. Artikis A., Guerin F. and Pitt J. Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce, in the book 'Agent Mediated E-Commerce III', LNAI 2003, Springer, pp. 47-70, 2001.

2000

1. Artikis A., Pitt J. and Stergiou C. Agent Communication Transfer Protocol, in the Proceedings of Autonomous Agents 2000, pp. 491-498, Barcelona, 2000. (pdf) (presentation)

1999

1. Artikis A. Agent Communication Transfer Protocol, M.Sc. Thesis, Department of Computing, Imperial College, September 1999.