Yves Lespérance

Maryam Rostamigiv

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2023

Abstraction of Nondeterministic Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains.

[BibT_eX]

[DOI]

Haolin Sun

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2021

The Nondeterministic Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Transcultural Health-Aware Guides for the Elderly.

[BibT_eX]

[DOI]

Rafael H. Bordini

Viviana Mascardi

Stefania Costantini

Alessandro Ricci

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

A Modal Logic for Joint Abilities under Strategy Commitments.

[BibT_eX]

[DOI]

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

Agent Abstraction via Forgetting in the Situation Calculus.

[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 Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science.

[BibT_eX]

[DOI]

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

ElGolog: A High-Level Programming Language with Memory of the Execution History.

[BibT_eX]

[DOI]

Eugenia Ternovska

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.

[BibT_eX]

[DOI]

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

Hierarchical Agent Supervision.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

A planning approach to the automated synthesis of template-based process models.

[BibT_eX]

[DOI]

Andrea Marrella

Serv. Oriented Comput. Appl., 2017

Rewards Structure in Games: Learning a Compact Representation for Action Space.

[BibT_eX]

[DOI]

Margot Lisa-Jing Yann

Aijun An

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Abstraction in Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Progression and Verification of Situation Calculus Agents with Bounded Beliefs.

[BibT_eX]

[DOI]

Stud Logica, 2016

Bounded situation calculus action theories.

[BibT_eX]

[DOI]

Fabio Patrizi

Artif. Intell., 2016

Online Situation-Determined Agents and their Supervision.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Infinite Paths in the Situation Calculus: Axiomatization and Properties.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Online Agent Supervision in the Situation Calculus.

[BibT_eX]

[DOI]

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

Situation Calculus Game Structures and GDL.

[BibT_eX]

[DOI]

Adrian R. Pearce

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

Verifying ConGolog Programs on Bounded Situation Calculus Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Synchronous Games in the Situation Calculus.

[BibT_eX]

[DOI]

Adrian R. Pearce

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

2014

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation.

[BibT_eX]

[DOI]

Slawomir Kmiec

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes.

[BibT_eX]

[DOI]

Andrea Marrella

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Bounded Epistemic Situation Calculus Theories.

[BibT_eX]

[DOI]

Fabio Patrizi

Proceedings of the IJCAI 2013, 2013

Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms.

[BibT_eX]

[DOI]

Andrea Marrella

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

2012

A Logic-Based Approach to Business Process Customization.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Efficient Reasoning in Multiagent Epistemic Logics.

[BibT_eX]

[DOI]

Gerhard Lakemeyer

Proceedings of the ECAI 2012, 2012

On supervising agents in situation-determined ConGolog.

[BibT_eX]

[DOI]

Christian J. Muise

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

Bounded Situation Calculus Action Theories and Decidable Verification.

[BibT_eX]

[DOI]

Fabio Patrizi

Proceedings of the Cognitive Robotics, 2012

2011

Iterated belief change in the situation calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version).

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

SR-APL: a model for a programming language for rational BDI agents with prioritized goals.

[BibT_eX]

[DOI]

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

Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models.

[BibT_eX]

Proceedings of the Social Modeling for Requirements Engineering., 2011

2010

Situation Calculus Based Programs for Representing and Reasoning about Game Structures.

[BibT_eX]

[DOI]

Adrian R. Pearce

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

A logical framework for prioritized goal change.

[BibT_eX]

[DOI]

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

2009

On-line adaptation of sequential mobile processes running concurrently.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Massimo Mecella

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Golog Speaks the BDI Language.

[BibT_eX]

[DOI]

Sebastian Sardiña

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

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Handling prioritized goals and subgoals in a logical account of goal change.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 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

On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

A model of contingent planning for agent programming languages.

[BibT_eX]

[DOI]

Atalay Nafi Ozgovde

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

2007

Goal Change in the Situation Calculus.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

INVICON: A Toolkit for Knowledge-Based Control of Vision Systems.

[BibT_eX]

[DOI]

Olena Borzenko

Michael Jenkin

Proceedings of the Fourth Canadian Conference on Computer and Robot Vision (CRV 2007), 2007

Towards a logical theory of coordination and joint ability.

[BibT_eX]

[DOI]

Hojjat Ghaderi

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

A Logical Theory of Coordination and Joint Ability.

[BibT_eX]

[DOI]

Hojjat Ghaderi

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

Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Computer Vision Systems, 2006

A Multi-Channel Algorithm for Edge Detection Under Varying Lighting.

[BibT_eX]

[DOI]

Wei Xu

Michael Jenkin

Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 2006

A New Logical Semantics for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Modeling Mental States in Agent-Oriented Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Modeling Mental States in the Analysis of Multiagent Systems Requirements.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

On the Semantics of Conditional Commitment.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

Goal Change.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Entropy-Based Image Merging.

[BibT_eX]

[DOI]

Andrew German

Michael R. M. Jenkin

Proceedings of the Second Canadian Conference on Computer and Robot Vision (CRV 2005), 2005

Controlling Camera and Lights for Intelligent Image Acquisition and Merging.

[BibT_eX]

[DOI]

Olena Borzenko

Michael R. M. Jenkin

Proceedings of the Second Canadian Conference on Computer and Robot Vision (CRV 2005), 2005

ECASL: a model of rational agency for communicating agents.

[BibT_eX]

[DOI]

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

Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning.

[BibT_eX]

[DOI]

Erick Martínez

Proceedings of the Agents and the Semantic Web, 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

A Model of Rational Agency for Communicating Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

On the Epistemic Feasibility of Plans in Multiagent Systems Specifications.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

2002

Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2002

The cognitive agents specification language and verification environment for multiagent systems.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

AAAI 2000 Workshop Reports.

[BibT_eX]

[DOI]

AI Mag., 2001

2000

Ability and Knowing How in the Situation Calculus.

[BibT_eX]

[DOI]

Stud Logica, 2000

ConGolog, a concurrent programming language based on the situation calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2000

An Embedding of ConGolog in 3APL.

[BibT_eX]

Koen V. Hindriks

Proceedings of the ECAI 2000, 2000

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1999

Modeling Dynamic Domains with ConGolog.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1999

Reactivity in a Logic-Based Robot Programming Framework.

[BibT_eX]

[DOI]

Kenneth Tam

Michael R. M. Jenkin

Proceedings of the Intelligent Agents VI, 1999

1997

GOLOG: A Logic Programming Language for Dynamic Domains.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Controlling Autonomous Robots with <i>GOLOG</i>.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Specifying Communicative Multi-Agent Systems (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract).

[BibT_eX]

[DOI]

Shane J. Ruman

Proceedings of the First International Conference on Autonomous Agents, 1997

1996

AI Models for Business Process Reengineering.

[BibT_eX]

[DOI]

Eric S. K. Yu

John Mylopoulos

IEEE Expert, 1996

An Experiment in Using Golog to Build a Personal Banking Assistant.

[BibT_eX]

[DOI]

Shane J. Ruman

Proceedings of the Intelligent Agent Systems, 1996

1995

Indexical Knowledge and Robot Action - A Logical Account.

[BibT_eX]

[DOI]

Artif. Intell., 1995

Foundations of a Logical Approach to Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents II, 1995

1991

A formal theory of indexical knowledge and action.

[BibT_eX]

[DOI]

PhD thesis, 1991

1990

Indexical Knowledge in Robot Plans.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

A Formal Account of Self-Knowledge and Action.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1986

Toward a computational interpretation of situation semantics.

[BibT_eX]

[DOI]