Emiliano Lorini

Frédéric Maris

Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022

Cognitive Planning in Motivational Interviewing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

An Implemented System for Cognitive Planning.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Logical Theories of Collective Attitudes and the Belief Base Perspective.

[BibT_eX]

[DOI]

Éloan Rapion

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Logics for Binary-input Classifiers and Their Explanations (short paper).

[BibT_eX]

[DOI]

Xinghan Liu

Proceedings of 1st Workshop on Bias, 2022

Logic-Based Ethical Planning.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

A Qualitative Theory of Cognitive Attitudes and their Change.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Games of influence.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

The Ethics of Controllability as Influenceability.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2021

A Computationally Grounded Logic of Graded Belief.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Multi-Agent Belief Base Revision.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

A Logic for Binary Classifiers and Their Explanation.

[BibT_eX]

[DOI]

Xinghan Liu

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

A Logic of Evaluation.

[BibT_eX]

[DOI]

Jorge Luis Fernandez Davila

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

A Simple Framework for Cognitive Planning.

[BibT_eX]

[DOI]

Frédéric Maris

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Modeling Contrary-to-Duty with CP-nets.

[BibT_eX]

[DOI]

CoRR, 2020

Rethinking epistemic logic with belief bases.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Beliefs, Time and Space: A Language for the Yōkai Board Game.

[BibT_eX]

[DOI]

Frédéric Maris

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

TouIST: a Friendly Language for Propositional Logic and More.

[BibT_eX]

[DOI]

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

A Novel Approach For a Ceteris Paribus Deontic Logic.

[BibT_eX]

[DOI]

Andrea Loreggia

Proceedings of the EKAW 2020 Posters and Demonstrations Session co-located with 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2020), 2020

A Logic of Explicit and Implicit Distributed Belief.

[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

Grounding Awareness on Belief Bases.

[BibT_eX]

[DOI]

Pengfei Song

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

A Ceteris Paribus Deontic Logic.

[BibT_eX]

[DOI]

Andrea Loreggia

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.

[BibT_eX]

[DOI]

Stud Logica, 2019

Exploiting Belief Bases for Building Rich Epistemic Structures.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Social Intelligence.

[BibT_eX]

[DOI]

David Pearce

AI Soc., 2019

Reasoning About Cognitive Attitudes in a Qualitative Setting.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Stratified Evidence Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

SAT for Epistemic Logic Using Belief Bases.

[BibT_eX]

[DOI]

Fabián Romero

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Strategic Majoritarian Voting with Propositional Goals.

[BibT_eX]

[DOI]

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

Decision Procedures for Epistemic Logic Exploiting Belief Bases.

[BibT_eX]

[DOI]

Fabián Romero

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

2018

The Long-Term Benefits of Following Fairness Norms under Dynamics of Learning and Evolution.

[BibT_eX]

[DOI]

Roland Mühlenbernd

Fundam. Informaticae, 2018

Goal-Based Collective Decisions: Axiomatics and Computational Complexity.

[BibT_eX]

[DOI]

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

Reasoning about Conditions in STIT Logic.

[BibT_eX]

Matthias Armgardt

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

From Individual Goals to Collective Decisions.

[BibT_eX]

[DOI]

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

Concurrent Game Structures for Temporal STIT Logic.

[BibT_eX]

[DOI]

Joseph Boudou

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

In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

The Strength of Desires: A Logical Approach.

[BibT_eX]

[DOI]

Minds Mach., 2017

BDI Logics for BDI Architectures: Old Problems, New Perspectives.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

Preface.

[BibT_eX]

[DOI]

David Pearce

J. Appl. Non Class. Logics, 2017

Logics for Games, Emotions and Institutions.

[BibT_eX]

[DOI]

FLAP, 2017

Relaxing Exclusive Control in Boolean Games.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Reasoning About Belief, Evidence and Trust in a Multi-agent Setting.

[BibT_eX]

[DOI]

Fenrong Liu

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

Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires.

[BibT_eX]

[DOI]

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

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract).

[BibT_eX]

[DOI]

Davide Grossi

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

A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics.

[BibT_eX]

[DOI]

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

Strategic Disclosure of Opinions on a Social Network.

[BibT_eX]

[DOI]

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

Exploring the Bidimensional Space: A Dynamic Logic Point of View.

[BibT_eX]

[DOI]

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

Computer-Mediated Trust in Self-interested Expert Recommendations.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

Jean-François Bonnefon

Sylvie Leblois

Proceedings of the Cognition Beyond the Brain: Computation, 2017

2016

A minimal logic for interactive epistemology.

[BibT_eX]

[DOI]

Synth., 2016

Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces.

[BibT_eX]

[DOI]

Paolo Galeazzi

Synth., 2016

A STIT Logic for Reasoning About Social Influence.

[BibT_eX]

[DOI]

Stud Logica, 2016

Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14).

[BibT_eX]

[DOI]

Roland Mühlenbernd

J. Log. Lang. Inf., 2016

Announcements to Attentive Agents.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2016

Strategic disclosure of opinions on a social network.

[BibT_eX]

[DOI]

Umberto Grandi

CoRR, 2016

Building Epistemic Logic from Observations and Public Announcements.

[BibT_eX]

[DOI]

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

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics.

[BibT_eX]

[DOI]

Joseph Boudou

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Epistemic Boolean Games Based on a Logic of Visibility and Control.

[BibT_eX]

[DOI]

Faustine Maffre

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

A Possibility Theory-based Approach to Desire Change.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

Reasons to Believe in a Social Environment.

[BibT_eX]

Fenrong Liu

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Strategic Disclosure of Opinions on a Social Network: (Extended Abstract).

[BibT_eX]

[DOI]

Umberto Grandi

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

A Logical Theory of Belief Dynamics for Resource-Bounded Agents.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Cognitive Agents in Interaction: a formal approach.

[BibT_eX]

[DOI]

, 2016

2015

The Ceteris Paribus Structure of Logics of Game Forms.

[BibT_eX]

[DOI]

Davide Grossi

J. Artif. Intell. Res., 2015

The Long-Term Benefits of Following Fairness Norms: A Game-Theoretic Analysis.

[BibT_eX]

[DOI]

Roland Mühlenbernd

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation.

[BibT_eX]

[DOI]

Faustine Maffre

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Influence and Responsibility: A Logical Analysis.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2015

Revising Desires - A Possibility Theory Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems 2015, 2015

Propositional Opinion Diffusion.

[BibT_eX]

[DOI]

Umberto Grandi

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

2014

A logical analysis of responsibility attribution: emotions, individuals and collectives.

[BibT_eX]

[DOI]

Eunate Mayor

J. Log. Comput., 2014

A BDI Emotional Reasoning Engine for an Artificial Companion.

[BibT_eX]

[DOI]

Carole Adam

Proceedings of the Highlights of Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 2014

Trust-based belief change.

[BibT_eX]

[DOI]

Guifei Jiang

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

Nonmonotonic Desires - A Possibility Theory Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

A STIT logic analysis of social influence.

[BibT_eX]

[DOI]

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

Evaluating power of agents from dependence relations in boolean games.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

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

2013

Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange.

[BibT_eX]

[DOI]

IEEE Trans. Affect. Comput., 2013

On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.

[BibT_eX]

[DOI]

J. Philos. Log., 2013

Temporal STIT logic and its application to normative reasoning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Grounding power on actions and mental attitudes.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2013

Bipolar Possibility Theory as a Basis for a Logic of Desires and Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Reasoning about Actions Meets Strategic Logics.

[BibT_eX]

[DOI]

Dirk Walther

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Listen to Me! Public Announcements to Agents That Pay Attention - or Not.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Moral Guilt: An Agent-Based Model Analysis.

[BibT_eX]

[DOI]

Benoit Gaudou

Leendert W. N. van der Torre

Eunate Mayor

Proceedings of the Advances in Social Simulation, 2013

Normative Reasoning and Consequence.

[BibT_eX]

[DOI]

Luca Tummolini

Paolo Turrini

Proceedings of the Normative Multi-Agent Systems, 2013

Norms in MAS: Definitions and Related Concepts.

[BibT_eX]

[DOI]

Tina Balke

Célia da Costa Pereira

Frank Dignum

Wamberto Weber Vasconcelos

Antonino Rotolo

Serena Villata

Proceedings of the Normative Multi-Agent Systems, 2013

2012

On the Logical Foundations of Moral Agency.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Logics for Reasoning about Agents' Attitudes in Strategic Contexts.

[BibT_eX]

[DOI]

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

A logic of emotions: from appraisal to coping.

[BibT_eX]

[DOI]

Mehdi Dastani

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

2011

Foreword to the Synthese special issue on theories of information dynamics and interaction and their application to dialogue.

[BibT_eX]

[DOI]

Laure Vieu

Synth., 2011

Editorial Introduction: Logical Methods for Social Concepts.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

From self-regarding to other-regarding agents in strategic games: a logical analysis.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

An Epistemic Logic of Extensive Games.

[BibT_eX]

[DOI]

Frédéric Moisan

Proceedings of the 7th Workshop on Methods for Modalities, 2011

A logic for reasoning about counterfactual emotions.

[BibT_eX]

[DOI]

Artif. Intell., 2011

How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments.

[BibT_eX]

[DOI]

Benoit Gaudou

Christophe Sibertin-Blanc

Proceedings of the Multi-Agent-Based Simulation XII - International Workshop, 2011

A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Expressive Multimodal Conversational Acts for SAIBA Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents - 11th International Conference, 2011

A Dynamic Logic of Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Modal Framework for Relating Belief and Signed Information.

[BibT_eX]

[DOI]

Jean-Marc Thévenin

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

A Dynamic Logic of Institutional Actions.

[BibT_eX]

[DOI]

Nicolas Troquard

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

The face of emotions: a logical formalization of expressive speech acts.

[BibT_eX]

[DOI]

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

Agents that speak: modelling communicative plans and information sources in a logic of announcements.

[BibT_eX]

[DOI]

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

2010

A Dynamic Logic of Agency II: Deterministic DLA{\mathcal{DLA}} , Coalition Logic, and Game Theory.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2010

A Dynamic Logic of Agency I: STIT, Capabilities and Powers.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2010

A logic of trust and reputation.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

A Modal Logic of Epistemic Games.

[BibT_eX]

[DOI]

Games, 2010

Computer-mediated trust in self-interested expert recommendations.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

Jean-François Bonnefon

Sylvie Leblois

AI Soc., 2010

From Signed Information to Belief in Multi-Agent Systems.

[BibT_eX]

[DOI]

Jean-Marc Thévenin

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Intention Change via Local Assignments.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Tiago de Lima

Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

A Logical Model of Intention and Plan Dynamics.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Tiago de Lima

Proceedings of the ECAI 2010, 2010

Trust in complex actions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A Logical Analysis of Commitment Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

Intentional Agents in Defense.

[BibT_eX]

[DOI]

Proceedings of the Safety and Security in Multiagent Systems, 2009

A Non-reductionist Approach to Trust.

[BibT_eX]

[DOI]

Rino Falcone

Proceedings of the Computing with Social Trust, 2009

On the dynamics of institutional agreements.

[BibT_eX]

[DOI]

Tiago de Lima

Synth., 2009

The Logic of Acceptance: Grounding Institutions on Agents' Attitudes.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Anchoring the Institutional Dimension of Speech Acts in Agents' Attitudes: A Logical Approach.

[BibT_eX]

[DOI]

Benoit Gaudou

Proceedings of the 2009 IEEE International Conference on Computing and Communication Technologies, 2009

Introducing Relevance Awareness in BDI Agents.

[BibT_eX]

[DOI]

Michele Piunti

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

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Intentions and Assignments.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Dynamic Context Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Tableaux for Acceptance Logic.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Speech acts as announcements.

[BibT_eX]

[DOI]

Nadine Guiraud

Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

Dynamic Context Logic and its Application to Norm.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Towards a Logical Model of Social Agreement for Agent Societies.

[BibT_eX]

[DOI]

Mario Verdicchio

Proceedings of the Coordination, 2009

2008

Endowing Artificial Systems with Anticipatory Capabilities: Success Cases.

[BibT_eX]

[DOI]

Proceedings of the Challenge of Anticipation, 2008

Anticipation and Emotions for Goal Directed Agents.

[BibT_eX]

[DOI]

Michele Piunti

Rino Falcone

Maria Miceli

Proceedings of the Challenge of Anticipation, 2008

A logic of intention and attempt.

[BibT_eX]

[DOI]

Synth., 2008

Prolegomena for a Logic of Trust and Reputation.

[BibT_eX]

Laurent Vercouter

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

A Logical Account of Institutions: From Acceptances to Norms via Legislators.

[BibT_eX]

[DOI]

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

Trust within the Context of Organizations: A Formal Approach.

[BibT_eX]

[DOI]

Rino Falcone

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Trust and Norms in the Context of Computer Security: A Logical Formalization.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

From Binary Trust to Graded Trust in Information Sources: A Logical Perspective.

[BibT_eX]

[DOI]

Proceedings of the Trust in Agent Societies, 2008

Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems.

[BibT_eX]

[DOI]

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

2007

Delegation and mental states.

[BibT_eX]

[DOI]

Nicolas Troquard

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

The Benefits of Surprise in Dynamic Environments: From Theory to Practice.

[BibT_eX]

[DOI]

Michele Piunti

Proceedings of the Affective Computing and Intelligent Interaction, 2007

2006

The Unexpected Aspects of Surprise.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2006

Introducing Attempt in a Modal Logic of Intentional Action.

[BibT_eX]

[DOI]