Sebastian Sardiña

Andres G. Jaramillo-Yanez

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces.

[BibT_eX]

[DOI]

Marco E. Benalcázar

Fabio Zambetta

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Expecting the unexpected: Goal recognition for rational and irrational agents.

[BibT_eX]

[DOI]

Artif. Intell., 2021

2020

Compositional Supervisory Control via Reactive Synthesis and Automated Planning.

[BibT_eX]

[DOI]

Daniel Alfredo Ciolek

IEEE Trans. Autom. Control., 2020

Multi-tier Automated Planning for Adaptive Behavior (Extended Version).

[BibT_eX]

[DOI]

Daniel Alfredo Ciolek

Alberto Pozanco

CoRR, 2020

Optimising Partial-Order Plans Via Action Reinstantiation.

[BibT_eX]

[DOI]

Max Waters

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Goal Recognition Using Off-The-Shelf Process Mining Techniques.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Multi-Tier Automated Planning for Adaptive Behavior.

[BibT_eX]

[DOI]

Daniel Alfredo Ciolek

Alberto Pozanco

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

HTN-like solutions for classical planning problems: An application to BDI agent systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Pacman Capture the Flag in AI Courses.

[BibT_eX]

[DOI]

Nir Lipovetzky

IEEE Trans. Games, 2019

Cost-Based Goal Recognition in Navigational Domains.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Goal Recognition for Rational and Irrational Agents.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis.

[BibT_eX]

[DOI]

Natalia Rodríguez

J. Artif. Intell. Res., 2018

Situation Calculus for Synthesis of Manufacturing Controllers.

[BibT_eX]

[DOI]

CoRR, 2018

Phase transition in the knapsack problem.

[BibT_eX]

[DOI]

CoRR, 2018

Supporting adaptiveness of cyber-physical processes through action-based formalisms.

[BibT_eX]

[DOI]

AI Commun., 2018

On the Progression of Situation Calculus Universal Theories with Constants.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Cost-Based Goal Recognition for the Path-Planning Domain.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Plan Relaxation via Action Debinding and Deordering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Intelligent Process Adaptation in the SmartPM System.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2017

Supervisory Control for Behavior Composition.

[BibT_eX]

[DOI]

Paolo Felli

IEEE Trans. Autom. Control., 2017

Addendum to: Summary Information for Reasoning About Hierarchical Plans.

[BibT_eX]

[DOI]

CoRR, 2017

Norm Enforcement as Supervisory Control.

[BibT_eX]

[DOI]

Mehdi Dastani

Vahid Yazdanpanah

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm.

[BibT_eX]

[DOI]

Parthasarathy Nadarajan

Michael Botsch

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Agent Design Consistency Checking via Planning.

[BibT_eX]

[DOI]

John Thangarajah

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Deceptive Path-Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Handling non-local dead-ends in Agent Planning Programs.

[BibT_eX]

[DOI]

Lukás Chrpa

Nir Lipovetzky

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Cost-Based Goal Recognition for Path-Planning.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Service Composition in Stochastic Settings.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Agent planning programs.

[BibT_eX]

[DOI]

Alfonso Emilio Gerevini

Alessandro Saetti

Artif. Intell., 2016

An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Parallel Behavior Composition for Manufacturing.

[BibT_eX]

[DOI]

Paolo Felli

Brian Logan

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Incomplete Causal Laws in the Situation Calculus Using Free Fluents.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Summary Information for Reasoning About Hierarchical Plans.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Pruning and preprocessing methods for inventory-aware pathfinding.

[BibT_eX]

[DOI]

Davide Aversa

Arthur H. M. ter Hofstede

Stavros Vassos

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

Computing Trace Alignment against Declarative Process Models through Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Verifying ConGolog Programs on Bounded Situation Calculus Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Special Issue on: Knowledge-intensive Business Processes.

[BibT_eX]

[DOI]

J. Data Semant., 2015

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence.

[BibT_eX]

[DOI]

George Dimitri Konidaris

AI Mag., 2015

Improving domain-independent intention selection in BDI systems.

[BibT_eX]

[DOI]

Max Waters

Auton. Agents Multi Agent Syst., 2015

Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains.

[BibT_eX]

[DOI]

Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Path Planning with Inventory-Driven Jump-Point-Search.

[BibT_eX]

[DOI]

Davide Aversa

Stavros Vassos

Proceedings of the Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2015

2014

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

SmartPM: Automated Adaptation of Dynamic Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

Evaluating coverage based intention selection.

[BibT_eX]

[DOI]

Max Waters

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains.

[BibT_eX]

[DOI]

Miquel Ramírez

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Automatic behavior composition synthesis.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Using Strategic Logics to Reason about Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Behavior Composition as Fully Observable Non-Deterministic Planning.

[BibT_eX]

[DOI]

Miquel Ramírez

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Qualitative Approximate Behavior Composition.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Reasoning about Agent Programs Using ATL-Like Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Measuring plan coverage and overlap for agent reasoning.

[BibT_eX]

[DOI]

John Thangarajah

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Revising conflicting intention sets in BDI agents.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

A BDI agent programming language with failure handling, declarative goals, and planning.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Integrating Learning into a BDI Agent for Environments with Changing Dynamics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features.

[BibT_eX]

[DOI]

Arthur H. M. ter Hofstede

Alessandro Russo

Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

Decision theoretic behavior composition.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Extending BDI plan selection to incorporate learning from experience.

[BibT_eX]

[DOI]

Dhirendra Singh

Robotics Auton. Syst., 2010

A BDI agent system for the cow herding domain.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Generalized Planning with Loops under Strong Fairness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Learning context conditions for BDI plan selection.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Agent programming via planning programs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Two-Player Game Structures for Generalized Planning and Agent Composition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Enhancing the Adaptation of BDI Agents Using Learning Techniques.

[BibT_eX]

[DOI]

Int. J. Agent Technol. Syst., 2009

Golog Speaks the BDI Language.

[BibT_eX]

[DOI]

Yves Lespérance

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Composition of ConGolog Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

First principles planning in BDI systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis.

[BibT_eX]

[DOI]

Sarah L. Hickmott

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Behavior Composition in the Presence of Failure.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Realizing Multiple Autonomous Agents through Scheduling of Shared Devices.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Automatic Synthesis of New Behaviors from a Library of Available Behaviors.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Goals in the context of BDI plan failure and planning.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

On the Limits of Planning over Belief States under Strict Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Modelling situations in intelligent agents.

[BibT_eX]

[DOI]

John Thangarajah

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Hierarchical planning in BDI agent programming languages: a formal approach.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Deliberation in agent programming languages.

[BibT_eX]

[DOI]

PhD thesis, 2005

2004

On the Semantics of Deliberation in Indigolog - from Theory to Implementation.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

On Ability to Autonomously Execute Agent Programs with Sensing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Rational action in agent programs with prioritized goals.

[BibT_eX]

[DOI]

Steven Shapiro

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2001

Incremental execution of guarded theories.

[BibT_eX]

[DOI]

Hector J. Levesque

ACM Trans. Comput. Log., 2001

Local Conditional High-Level Robot Programs.

[BibT_eX]

[DOI]