Pierangelo Dell'Acqua

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

2020

Towards Explainable, Compliant and Adaptive Human-Automation Interaction.

[BibT_eX]

[DOI]

Gloria Cerasela Crisan

Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020

2013

An assistive tool for monitoring physical activities in older adults.

[BibT_eX]

[DOI]

Leonie Verheijden Klompstra

Tiny Jaarsma

Ali Samini

Proceedings of the IEEE 2nd International Conference on Serious Games and Applications for Health, 2013

2012

Emotional behavior trees.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012

Comparing behavior trees and emotional behavior networks for NPCs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Computer Games, 2012

2011

Pathfinding with Emotion Maps.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Graphics 2011, 2011

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation.

[BibT_eX]

[DOI]

Marco Alberti

Ann. Math. Artif. Intell., 2011

Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

2010

Knowledge-Based Probability Maps for Covert Pathfinding.

[BibT_eX]

[DOI]

Proceedings of the Motion in Games - Third International Conference, 2010

Ensuring Agent Properties under Arbitrary Sequences of Incoming Events.

[BibT_eX]

[DOI]

Arianna Tocchio

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Observation Strategies for Event Detection with Incidence on Runtime Verification.

[BibT_eX]

[DOI]

Marco Alberti

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Introducing time in emotional behavior networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Conference on Computational Intelligence and Games, 2010

2009

On Preferring and Inspecting Abductive Models.

[BibT_eX]

[DOI]

Gonçalo Lopes

Proceedings of the Practical Aspects of Declarative Languages, 2009

2007

Preferential theory revision.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Expressing Preferences Declaratively in Logic-based Agent Languages.

[BibT_eX]

[DOI]

Arianna Tocchio

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

A Logic-Based Approach to Model Supervisory Control Systems.

[BibT_eX]

[DOI]

Anna Lombardi

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Modelling adaptive controllers with evolving logic programs.

[BibT_eX]

Anna Lombardi

Proceedings of the ICINCO 2006, 2006

2005

MOdelling hybrid control systems with behaviour networks.

[BibT_eX]

Anna Lombardi

Proceedings of the ICINCO 2005, 2005

Preference Revision Via Declarative Debugging.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

2004

Common-sense reasoning as proto-scientific agent activity.

[BibT_eX]

[DOI]

J. Appl. Log., 2004

Weighted Multi Dimensional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003

A Logical Framework for Modelling eMAS.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

An Architecture for a Rational Reactive Agent.

[BibT_eX]

[DOI]

Mattias Engberg

Proceedings of the Progress in Artificial Intelligence, 2003

2002

A Logic Based Asynchronous Multi-Agent System.

[BibT_eX]

[DOI]

Ulf Nilsson

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

A Compilation of Updates plus Preferences.

[BibT_eX]

[DOI]

José Júlio Alferes

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

User Preference Information in Query Answering.

[BibT_eX]

[DOI]

Aida Vitória

Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

2001

Preferring and Updating in Logic-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Web Knowledge Management and Decision Support, 2001

Preferring and Updating in Multi-Agents.

[BibT_eX]

Proceedings of the 14th International Conference on Applications of Prolog, 2001

Preferring and Updating in Abductive Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World II, 2001

Enabling Agents to Update Their Knowledge and to Prefer.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2001

Evolving Multi-agent Viewpoints - an Architecture.

[BibT_eX]

[DOI]

João Alexandre Leite

Proceedings of the Progress in Artificial Intelligence, 2001

2000

Reflection principles in computational logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

1998

Combining Introspection and Communication with Rationality and Reactivity in Agents.

[BibT_eX]

[DOI]

Fariba Sadri

Francesca Toni

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1996

Multiple Metareasoning Agents for Flexible Query-Answering Systems.

[BibT_eX]

Proceedings of the Flexible Query-Answering Systems, 1996

1995

Semantical Properties of Encodings in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Semantical Properties of SLD-Resolution with Reflection.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

SLD - Resolution with Reflection.

[BibT_eX]

Proceedings of the Logic Programming, 1994

A Basis for a Multi-Level Meta-Logic Programming Language.

[BibT_eX]

[DOI]

Katrin Boberg

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Extending Horn Clause Theories by Reflection Principles.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Reflection through Constraint Satisfaction.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Integrating Reflection into SLD-Resolution.

[BibT_eX]

Proceedings of the ICLP 1994, 1994

1992

Reflective Agents in Metalogic Programming.

[BibT_eX]

[DOI]