|
Selected
publications
Referred journal papers and book
chapters
1. 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
2. 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
3. A. Johansson, P. Dell'Acqua,
Pathfinding with Emotion Maps, Intelligent Computer Graphics 2011, Book
series: Studies in Computational Intelligence 374, 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
4. 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
5. 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
6.
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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
1. 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, Kentucky, USA. To
appear, 2012
2. A. Johansson, P. Dell’Acqua,
Emotional Behavior Trees, Conf. on Computational Intelligence and Games
(CIG2012), IEEE. To appear, 2012
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. P. Dell'Acqua, A. Lombardi and L. M.
Pereira, Modelling Adaptive Controllers with Evolving Logic
Programming, 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
20. P. Dell'Acqua and A. Lombardi,
Modelling and simulating a simple virtual animal - An artificial fish,
Reglermöte 2006, Stockholm - May 2006, Poster
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. S. Costantini, P. Dell'Acqua and G.
A. Lanzarone, Beyond Prolog. Proc. AICA, pp. 257-271, Trieste, 1989
Invited papers
1. 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
1. P. Dell'Acqua, Reflection Principles
in Computational Logic, PhD Thesis No 30/98, Dept. of Computing Science
(CSD), Uppsala University, Sweden, 1998
2. P. Dell'Acqua, SLD-resolution with
Reflection, PhL Thesis No 20/95, Dept. of Computing Science (CSD),
Uppsala University, Sweden, 1995
3. 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
1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
|