Referred journal papers and book chapters

L. M. Pereira, P. Dell'Acqua, A. M. Pinto and G. Lopes, Inspecting and Preferring Abductive Models, Handbook on Reasoning-based Intelligent Systems, K. Nakamatsu, L.C. Jain (eds.), World Scientific Publishers, ISBN: 978-981-4329-47-7, 2012

A. Johansson, P. Dell'Acqua, Pathfinding with Emotion Maps, Intelligent Computer Graphics, Book series: Studies in Computational Intelligence, Vol. 374, pp. 139-155, D. Plemenos and G. Miaoulis (eds.), Springer, 2012, ISBN: 978-3-642-22906-0. Extended paper from: Int. Conf. on Computer Graphics and Artificial Intelligence (3IA), Greece, May 2011

M. Alberti, P. Dell'Acqua and L. M. Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation. Annals of Mathematics and Artificial Intelligence, pp. 1-26. Issn: 1012-2443. 2011

P. Lankoski, A. Johansson, B. Karlsson, S. Björk and P. Dell'Acqua, AI Design for Believable Characters via Gameplay Design Patterns, M. M. Cruz-Cunha, V. H. Carvalho and P. Tavares (Eds.), Chapter 2. Business, Technological and Social Dimensions of Computer Games: Multidisciplinary Developments, IGI Global, ISBN 13: 9781609605674, pp. 15-31, 2011

A. Johansson, P. Dell'Acqua, Affective States in Behavior Networks, Intelligent Computer Graphics 2009, Book series: Studies in Computational Intelligence, Vol. 240, pp.19-39, ISSN 1860-9503, Springer, 2009. Extended paper from: Int. Conf. on Computer Graphics and Artificial Intelligence (3IA), Dimitri Plemenos (ed.), Athens, Greece, May 2009

L. M. Pereira, P. Dell'Acqua and Gonçalo Lopes, Prospective Updating of Theories with Preferences, Abduction and the Process of Scientific Discovery, O. Pombo, A. Gerner (eds.). Colecção Documenta, Centro de Filosofia das Ciências da Universidade de Lisboa, Publidisa, pp. 65-96, Lisbon 2007

P. Dell'Acqua and L. M. Pereira, Preferential theory revision, Journal of Applied Logic, 5(4):586-601 Special issue: Formal and Computational Epistemology, Elsevier, 2007

P. Dell'Acqua and L. M. Pereira, Common-Sense Reasoning as Proto-Scientific Agent Activity. Selected papers from 3rd Int. W. Computational Models of Scientific Reasoning and Applications, J. of Applied Logic, Volume 2, Issue 4, pp. 385-407, December 2004

P. Dell'Acqua, U. Nilsson and L. M. Pereira, A Logic Based Asynchronous Multi-Agent System, Computational Logic in Multi-Agent Systems (CLIMA02), Copenhagen, 2002. Electronic Notes in Theoretical Computer Science (ENTCS), Volume 70, Issue 5, October 2002

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Reflection Principles in Computational Logic, J. of Logic and Computation, vol. 10, n. 6, pp. 743-786, 2000

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Metareasoning Agents for Query-Answering Systems. Flexible Query-Answering Systems, T. Andreasen, H. Christiansen and H. L. Larsen (eds.), pp. 103-122, Kluwer Academic Publishers, 1997

J. Barklund, K. Boberg, P. Dell'Acqua and M. Veanes, Metaprogramming with Theory Systems. Meta-logics and Logic Programming, K. Apt and F. Turini (eds.), pp. 195-226, MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 106.)

Referred conference papers

P. Dell'Acqua, L. V. Klompstra, T. Jaarsma and A. Samini, An Assistive Tool for Monitoring Physical Activities in Older Adults, IEEE Conf. on Serious Games and Applications for Health (SEGAH2013), Algarve, Portugal, 2013.

A. Johansson and P. Dell’Acqua. Comparing Behavior Trees and Emotional Behavior Networks for NPCs. In 17th Int. Conf. on Computer Games: AI, Animation, Mobile, Interactive Multimedia, Educational & Serious Games, CGAMES’12, pp. 253-260. Kentucky, USA, 2012

A. Johansson, P. Dell’Acqua, Emotional Behavior Trees. IEEE Conf. on Computational Intelligence and Games (CIG2012), pp.355-362, 2012

S. Costantini, P. Dell'Acqua, L. M. Pereira, Francesca Toni, Meta-axioms and Complex Preferences in Evolving Logical Agents, L. Antunes, H. S. Pinto, R. Prada and P. Trigo  (eds.), Procs. 15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011), Progress in Artificial Intelligence, pp. 580-594, Springer LNAI, Vol. 7026, ISBN: 978-3-642-24-768-2, 2011

S. Costantini, P. Dell'Acqua, L. M. Pereira, Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents, in: N. Bassiliades, G. Governatori, and A. Pasckhe (eds.), Procs. RuleML 2011 - Europe, 5th Int. Symp. (RuleML2011@IJCAI), pp. 250-265, LNCS, Vol. 6826, 2011

A. Johansson, P. Dell’Acqua, Knowledge-Based Probability Maps for Covert Pathfinding, 3rd Int. Conf. on Motion in Games (MIG), Utrecht, November 2010. R. Boulic, Y. Chrysantou and T. Komura (Eds.). Springer, LNCS 6459, pp. 339-350, 2010

A. Johansson, P. Dell’Acqua, Introducing Time in Emotional Behavior Networks, Conf. on Computational Intelligence and Games (CIG09). G. N. Yannakakis and J. Togelius (Eds.), IEEE, pp. 297-304, 2010

S. Costantini, P. Dell'Acqua, L. M. Pereira, Francesca Toni, Learning and Evolving Agents in User Monitoring and Training, in: P. Inverardi et al. (eds.), Procs. Congresso Nazionale, Associazione Italiana per l’Informatica ed il Calcolo Automatico - AICA 2010, L'Aquila, Italy, 29-30 September - 1 October 2010

S. Costantini, P. Dell'Acqua, L. M. Pereira, A. Tocchio, Ensuring Agent Properties under Arbitrary Sequences of Incoming Events, in: Procs. 17th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion", Bologna, Italy, 10-11 June 2010

M. Alberti, P. Dell'Acqua, L. M. Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verification, in: Procs. 17th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion", Bologna, Italy, June 10-11, 2010

S. Costantini, P. Dell'Acqua, L. M. Pereira and P. Tsintza, Runtime Verification of Agent Properties, Int. Conf. on Applications of Declarative Programming and Knowledge Management (INAP09). S. Abreu and D. Seipel (eds.), Evora, Portugal, pp. 257-271, November 2009

L. M. Pereira, Gonçalo Lopes, P. Dell'Acqua, On Preferring and Inspecting Abductive Models, Invited paper: Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL 2009). A.Gill, T. Swift (eds.), LNCS, Vol. 5418, pp.1-15, Springer, Savannah, Georgia, USA, January 2009

S. Costantini, P. Dell'Acqua, L. M. Pereira, P. Tsintza, Specification and Dynamic Verification of Agent Properties, 9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA). M. Fischer et al. (eds.), Dresden, Germany, September 2008

S. Costantini, P. Dell'Acqua, L. M. Pereira, A Multi-layer Framework for Evolving and Learning Agents. Procs. Metareasoning: Thinking about thinking workshop at AAAI 2008. M. T. Cox and A. Raja (eds.), Chicago, USA, July 2008

Johansson and P. Dell'Acqua, Realistic Virtual Characters in Treatments for Psychological Disorders - An Extensive Agent Architecture. The Annual SIGRAD conference, special theme: Computer Graphics in Healthcare. Anders Hast (ed.), Linköping University Electronic Press. Available at http://www.ep.liu.se/ecp/028/ Uppsala, November 2007

L. M. Pereira, Goncalo Lopes and P. Dell'Acqua, Pre and Post Preferences over Abductive Models,  Multidisciplinary Workshop on Advances in Preference Handling (M-Pref'07) at 33rd Intl. Conf. on Very Large Data Bases (VLDB'07).  J. Delgrande, W. Kießling (eds), Vienna, September 2007

S. Costantini, P. Dell'Acqua, L. M. Pereira and F. Toni, Towards a Model of Evolving Agents for Ambient Intelligence. Procs. Symposium on Artificial Societies for Ambient Intelligence (ASAmI'07). F. Sadri and K. Stathis (eds.), AISB Convention, Newcastle, UK, April 3, 2007

S. Costantini, P. Dell'Acqua and A. Tocchio, Expressing preferences declaratively in logic-based agent languages, 8th International Symposium on Logical Formalizations of Commonsense Reasoning - Commonsense 2007. Special event in honor of John McCarthy, AAAI Spring Symposium Series, Stanford University, CA, USA, March 26-28 2007. Also published at: Dagli Oggetti agli Agenti: Sistemi Intelligenti e Computazione Pervasiva. Proceedings of WOA06, 2006

P. Dell'Acqua, A. Lombardi and L. M. Pereira, A Logic-Based Approach to Model Supervisory Control Systems. Foundation of Intelligent Systems. 16th Int. Symposium ISMIS06. F. Esposito, Z. W. Ras, D. Malerba, and G. Semeraro (eds.), Bari (Italy) - September 2006, Springer, LNAI 4203, pp. 534-539, 2006

P. Dell'Acqua, A. Lombardi and L. M. Pereira, Modelling Adaptive Controllers with Evolving LogicProgramming, 3rd Int. Conf. on Informatics in Control, Automation and Robotics (Icinco06). J. A. Cetto, J.-L. Ferrier, J. D. Pereira, and J. Filipe (eds.), Procs. Intelligent Control Systems and Optimization Vol.1, pp. 107–112. INSTICC Press, ISBN:972-8865-59-7, 2006, Setubal (Portugal) - August 2006

P. Dell'Acqua and A. Lombardi, Modelling and simulating a simple virtual animal - An artificial fish, Reglermöte 2006, Stockholm - May 2006, Poster

P. Dell'Acqua and L. M. Pereira, Preference Revision via Declarative Debugging. Progress in Artificial Intelligence, Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05). C. Bento, A. Cardoso, G. Dias (eds.),  Covilhã, Portugal, December 2005, Springer, LNAI 3808, pp. 29-42, 2005

P. Dell'Acqua and L. M. Pereira, Preferential theory revision, 4th Int. Work. on Computational Models of Scientific Reasoning and Applications (CMSRA 2005),  Lisbon, Portugal - September 2005. Extended version published at Journal of Applied Logic, 2007

P. Dell'Acqua, A. Lombardi and L. M. Pereira, Modelling Hybrid Control Systems with Behaviour Networks, 2nd Int. Conf. on Informatics in Control, Automation and Robotics (Icinco05). Procs. Intelligent Control Systems and Optimization Vol.1, Barcelona, Spain, September 2005. INSTICC Press. ISBN:972-8865-29-5, pp. 98-105, 2005

P. Dell'Acqua, Weighted Multi Dimensional Logic Programming, 4th Int. Workshop on Computational Logic in Multi-Agent Systems (Clima IV), Fort Lauderdale, FL, USA - January 6-7 2004, LNAI 3259, pp.178-200, 2004

P. Dell'Acqua, M. Engberg and L. M. Pereira, An Architecture for a Rational, Reactive Agent, 11th Portuguese Conf. on Artificial Intelligence. Beja, Portugal, December 2003, LNCS 2902, pp.379-393, 2003

P. Dell'Acqua and L. M. Pereira, Common-Sense Reasoning as Proto-Scientific Agent Activity, 3rd Int. Workshop on Computational Models of Scientific Reasoning and Applications (III CMSRA),  Buenos Aires, Argentina, September 2003

P. Dell'Acqua and L. M. Pereira, A Logical Framework for Modelling eMAS, 5th Int. Symp. on Practical Aspects of Declarative Languages (PADL03).  V. Dahl and P. Wadler (eds.), New Orleans, LA, USA, 2003. LNCS 2562, pp.241-255, 2003

P. Dell'Acqua, L. M. Pereira and A. Vitoria, User Preference Information in Query Answering, 5th Int. Conf. on Flexible Query Answering Systems (FQAS02). T. Andreasen, A. Motro, H. Christiansen and H. L. Larsen (eds.), Copenhagen, 2002. LNAI 2522, pp. 163-173, 2002

J. J. Alferes, P. Dell'Acqua and L. M. Pereira, A Compilation of Updates plus Preferences. Proc. 8th European Conf. on Logics in Artificial Intelligence (JELIA02), LNAI 2424, pp. 62-73, 2002

P. Dell'Acqua and L. M. Pereira, Preferring and Updating in Logic-Based Agents, Web-Knowledge Management and Decision Support. Selected Papers from the 14th Int. Conf. on Applications of Prolog (INAP), Tokyo, 2001, LNAI 2543, pp. 70-85, 2003

P. Dell'Acqua and L. M. Pereira, Preferring and Updating in Abductive Multi-Agent Systems, Engineering Societies in the Agents' World (ESAW01), A. Omicini, P. Petta and R. Tolksdorf (eds.), LNAI 2203, pp. 57-73, 2001

P. Dell'Acqua and L. M. Pereira, Enabling Agents to Update their Knowledge and to Prefer. Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA01), P. Brazdil and A. Jorge (eds.), LNAI 2258, pp. 183-190, 2001

P. Dell'Acqua, J. A. Leite and L. M. Pereira, Evolving Multi-Agent Viewpoints - an Architecture. Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA01), P. Brazdil and A. Jorge (eds.), LNAI 2258, pp. 169-182, 2001

P. Dell'Acqua, F. Sadri and F. Toni, Combining Introspection and Communication with Rationality and Reactivity in Agents. Logics in Artificial Intelligence, J. Dix, F. L. Del Cerro and U. Furbach (eds.), LNAI 1489, pp. 17-32, 1998

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Semantical Properties of Encodings in Logic Programming. Logic Programming - Proc. 1995 Int. Symp., J. Lloyd (ed.), pp. 288-302, 1995. MIT Press

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, SLD-resolution with Reflection. Logic Programming - Proc. 1994 Int. Symp., M. Bruynooghe (ed.), pp. 554-568, 1994, MIT Press

J. Barklund, K. Boberg and P. Dell'Acqua, A Basis for a Multilevel Metalogic Programming Language. Logic Program Synthesis and Transformation - Meta Programming in Logic, L. Fribourg and F. Turini (eds.), LNCS 883, pp. 262-275, 1994

S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Extending Horn Clause Theories by Reflection Principles, Logics in Artificial Intelligence (Jelia94), C. MacNish, D. Pearce and L. M. Pereira (eds.), LNAI 838, pp. 400-413, 1994

S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Reflective Agents in Metalogic Programming. Meta-Programming in Logic (Meta92), A. Pettorossi (ed.), LNCS 649, pp. 135-147, 1992

S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Higher-order Extensions to Prolog are Needed. Proc. 5th Italian Conf. on Logic Programming (GULP90), Annalisa Bossi (ed.), pp. 167-183, Padova, 1990

S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Beyond Prolog. Proc. AICA, pp. 257-271, Trieste, 1989

Invited papers

J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira and F. Riguzzi, A Logic Based Approach to Multi-Agent Systems, Invited paper in The Association for Logic Programming Newsletter, 14(3), August 2001

Theses

P. Dell'Acqua, Reflection Principles in Computational Logic, PhD Thesis No 30/98, Dept. of Computing Science (CSD), Uppsala University, Sweden, 1998

P. Dell'Acqua, SLD-resolution with Reflection, PhL Thesis No 20/95, Dept. of Computing Science (CSD), Uppsala University, Sweden, 1995

P. Dell'Acqua, Development of an Interpreter for a Metalogic Programming Language, M.Sc. in Computer Science, Dept. of Computer Science, Univ. degli Studi di Milano, Italy, 1989 (in Italian)

Other publications

J. J. Alferes, P. Dell'Acqua and L. M. Pereira, A compilation of updates plus preferences. Technical report, LiTH-ITN-R-2002-7, Dept. Science and Technology (ITN), Linköping University, Sweden, 2002

P. Dell'Acqua and L. M. Pereira, Preferring and Updating with Multi-Agents. Technical report, LiTH-ITN-R-2000-4, Dept. Science and Technology (ITN), Linköping University, Sweden, 2000

P. Dell'Acqua, J. A. Leite and L. M. Pereira, Evolving Multi-Agent Viewpoints - an Architecture. Technical report, LiTH-ITN-R-2000-3, Dept. Science and Technology (ITN), Linköping University, Sweden, 2000

P. Dell'Acqua, F. Sadri and F. Toni, Communicating Agents, Procs. of the ICLP'99 Workshop on Multi-Agent Systems in Logic (MASL'99), S. Rochefort, F. Sadri and F. Toni (eds.), 1999

P. Dell'Acqua and L. M. Pereira, Updating Agents. Procs. of the ICLP'99 Workshop on Multi-Agent Systems in Logic (MASL'99), S. Rochefort, F. Sadri and F. Toni (eds.), 1999

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Multiple Metareasoning Agents for Flexible Query-Answering Systems. Technical Report No.125, Computing Science Dept., Uppsala Univ., 1996

S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Extending Horn Clause Theories by Reflection Principles. Technical Report No.95, Computing Science Dept., Uppsala Univ., 1995

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, SLD-Resolution with Reflection. Technical Report No.96, Computing Science Dept., Uppsala Univ., 1995

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Semantical Properties of Encodings in Logic Programming. Technical Report No.108, Computing Science Dept., Uppsala Univ., 1995

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Integrating Reflection into SLD-Resolution. Technical Report No.94, Computing Science Dept., Uppsala Univ., 1995

J. Barklund, K. Boberg, P. Dell'Acqua and M. Veanes, Meta-Programming with Theory Systems. Technical Report No.106, Computing Science Dept., Uppsala Univ., 1995

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Reflective Prolog = CLP(Names,Trees). Technical Report No.83, Computing Science Dept., Uppsala Univ., 1994

J. Barklund, S. Costantini, P. Dell'Acqua and G. A. Lanzarone, Integrating Reflection into SLD-resolution. Workshop on Proof-Theoretical Extensions of Logic Programming, A. Momigliano and M. Ornaghi (eds.), pp. 84-91, 1994

J. Barklund, K. Boberg and P. Dell'Acqua, A Basis for a Multilevel Metalogic Programming Language. Technical Report No.81, Computing Science Dept., Uppsala Univ., 1994