Andreas Herzig

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

On the Axiomatisation of Common Knowledge.

[BibT_eX]

[DOI]

Elise Perrotin

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Refining HTN Methods via Task Insertion with Preferences.

[BibT_eX]

[DOI]

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

2019

A Dynamic Logic Account of Active Integrity Constraints.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

The epistemic gossip problem.

[BibT_eX]

[DOI]

Discret. Math., 2019

Social Intelligence.

[BibT_eX]

[DOI]

David Pearce

AI Soc., 2019

The Dynamic Logic of Policies and Contingent Planning.

[BibT_eX]

[DOI]

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

Dynamic logic of parallel propositional assignments and its applications to planning.

[BibT_eX]

[DOI]

Frédéric Maris

Julien Vianey

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

Stratified Evidence Logics.

[BibT_eX]

[DOI]

David Fernández-Duque

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

2018

Judgment aggregation in dynamic logic of propositional assignments.

[BibT_eX]

[DOI]

Arianna Novaro

Umberto Grandi

J. Log. Comput., 2018

Temporal Epistemic Gossip Problems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

A Dynamic Extension of ALCO for Repairing via Preferred Updates.

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change.

[BibT_eX]

[DOI]

Sylvie Doutre

Proceedings of the Dynamics, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.

[BibT_eX]

[DOI]

David Fernández-Duque

Petar Iliev

Proceedings of the Advances in Modal Logic 12, 2018

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

Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

A short biography of Luis Fariñas del Cerro.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 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

How to share knowledge by gossiping.

[BibT_eX]

[DOI]

Faustine Maffre

AI Commun., 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.

[BibT_eX]

[DOI]

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

Non-Determinism and the Dynamics of Knowledge.

[BibT_eX]

[DOI]

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

Strategically knowing how.

[BibT_eX]

[DOI]

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

Dynamic Logic for Data-aware Systems: Decidability Results.

[BibT_eX]

[DOI]

Francesco Belardinelli

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

Repairing ABoxes through Active Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Deciding Refinement Relation in Belief-Intention Databases.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 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

Announcements to Attentive Agents.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 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

Refinement of Intentions.

[BibT_eX]

[DOI]

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

On Hierarchical Task Networks.

[BibT_eX]

[DOI]

Zhanhao Xiao

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

On Logics of Strategic Ability Based on Propositional Control.

[BibT_eX]

[DOI]

Francesco Belardinelli

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

Simple Epistemic Planning: Generalised Gossiping.

[BibT_eX]

[DOI]

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

A Simple Account of Multi-Agent Epistemic Planning.

[BibT_eX]

[DOI]

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

Before announcement.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Using STIT Theory to Talk About Strategies.

[BibT_eX]

[DOI]

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Letter from the Editor.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

A formal account of dishonesty.

[BibT_eX]

[DOI]

Chiaki Sakama

Martin Caminada

Log. J. IGPL, 2015

Logics of knowledge and action: critical analysis and challenges.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 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

Epistemic Equilibrium Logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

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

2014

Capturing equilibrium models in modal logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

J. Appl. Log., 2014

Tableaux for Dynamic Logic of Propositional Assignments.

[BibT_eX]

[DOI]

CoRR, 2014

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.

[BibT_eX]

[DOI]

CoRR, 2014

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments.

[BibT_eX]

[DOI]

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

A Dynamic Logic Framework for Abstract Argumentation.

[BibT_eX]

[DOI]

Sylvie Doutre

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

A Dynamic View of Active Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Encoding Argument Graphs in Logic.

[BibT_eX]

[DOI]

Philippe Besnard

Sylvie Doutre

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Trust-based Personal Information Management in SOA.

[BibT_eX]

[DOI]

Seifeddine Kramdi

Proceedings of the ICAART 2014, 2014

Belief Merging in Dynamic Logic of Propositional Assignments.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Proceedings of the Foundations of Information and Knowledge Systems, 2014

On the revision of planning tasks.

[BibT_eX]

[DOI]

Maria Viviane de Menezes

Leliane Nunes de Barros

Renata Wassermann

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

Kripke's Worlds - An Introduction to Modal Logics via Tableaux.

[BibT_eX]

[DOI]

Bilal Said

Studies in Universal Logic, Birkhäuser, ISBN: 978-3-7643-8503-3, 2014

2013

Propositional Update Operators Based on Formula/Literal Dependence.

[BibT_eX]

[DOI]

Pierre Marquis

ACM Trans. Comput. Log., 2013

Introduction to the special issue.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2013

Grounding power on actions and mental attitudes.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

A Simple Separation Logic.

[BibT_eX]

[DOI]

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

Combining Equilibrium Logic and Dynamic Logic.

[BibT_eX]

[DOI]

Ezgi Iraz Su

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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]

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

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

La logique modale des modèles d'équilibre.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Public announcements, public assignments and the complexity of their logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 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

Some Truths Are Best Left Unsaid.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

From Situation Calculus to Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Editorial Introduction: Logical Methods for Social Concepts.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

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

[BibT_eX]

[DOI]

Christophe Sibertin-Blanc

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

Contingency-Based Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Dynamic Logic of Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

The Modal Logic of Equilibrium Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

A Dynamic Logic of Institutional Actions.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 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

Logics of Contingency.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Tableaux for Public Announcement Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 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 for Termgraph Rewriting

[BibT_eX]

[DOI]

Rachid Echahed

CoRR, 2010

Preface - Special issue on commonsense reasoning for the semantic web.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Computer-mediated trust in self-interested expert recommendations.

[BibT_eX]

[DOI]

Jonathan Ben-Naim

Jean-François Bonnefon

Sylvie Leblois

AI Soc., 2010

A Logical Account of Lying.

[BibT_eX]

[DOI]

Chiaki Sakama

Martin Caminada

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

A Dynamic Logic for Termgraph Rewriting.

[BibT_eX]

[DOI]

Rachid Echahed

Proceedings of the Graph Transformations - 5th International Conference, 2010

Trust in complex actions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

On the dynamics of institutional agreements.

[BibT_eX]

[DOI]

Synth., 2009

Introspective forgetting.

[BibT_eX]

[DOI]

Synth., 2009

A logical formalization of the OCC theory of emotions.

[BibT_eX]

[DOI]

Carole Adam

Synth., 2009

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

[BibT_eX]

[DOI]

J. Log. Comput., 2009

What groups do, can do, and know they can do: an analysis in normal modal logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 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

A Protocol for Execution of Distributed Logic Programs.

[BibT_eX]

[DOI]

László Aszalós

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Trust Based Evaluation of Wikipedia's Contributors.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World X, 2009

Tableaux for Acceptance Logic.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Unifying the Intentional and Institutional Semantics of Speech Acts.

[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

Logical formalization of social commitments: application to agent communication languages.

[BibT_eX]

[DOI]

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

2008

A logic of intention and attempt.

[BibT_eX]

[DOI]

Synth., 2008

Book Reviews.

[BibT_eX]

[DOI]

Stud Logica, 2008

'Knowable' as 'known after an announcement'.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2008

Alternative Axiomatics and Complexity of Deliberative STIT Theories.

[BibT_eX]

[DOI]

J. Philos. Log., 2008

Prolegomena for a Logic of Trust and Reputation.

[BibT_eX]

Cristiano Castelfranchi

Robert Demolombe

Laurent Vercouter

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

Uniform Interpolation by Resolution in Modal Logic.

[BibT_eX]

[DOI]

Jérôme Mengin

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Prime Implicate-based Belief Revision Operators.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Guilin Qi

Proceedings of the ECAI 2008, 2008

Properties of logics of individual and group agency.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 7, 2008

2007

PLEIAD, un agent émotionnel pour évaluer la typologie OCC.

[BibT_eX]

[DOI]

Carole Adam

Rev. d'Intelligence Artif., 2007

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Global and Local Graph Modifiers.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Metatheory of actions: Beyond consistency.

[BibT_eX]

[DOI]

Artif. Intell., 2007

A normal simulation of coalition logic and an epistemic extension.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.

[BibT_eX]

[DOI]

Alexandru Baltag

Tomohiro Hoshi

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

From DEL to EDL : Exploring the Power of Converse Events.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Optimal Regression for Reasoning about Knowledge and Actions.

[BibT_eX]

[DOI]

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Delegation and mental states.

[BibT_eX]

[DOI]

Cristiano Castelfranchi

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

2006

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Grounding and the Expression of Belief.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Modélisation logique d'agents rationnels pour l'intelligence ambiante.

[BibT_eX]

Proceedings of the Systemes Multi-Agents, Articulation entre l'individuel et le collectif - JFSMA 2006, 2006

Introducing <i>Attempt</i> in a Modal Logic of Intentional Action.

[BibT_eX]

[DOI]

Cristiano Castelfranchi

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Modularity Approach for a Fragment of <i>ALC</i>.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A STIT-Extension of ATL.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Epistemic Actions and Ontic Actions: A Unified Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

Elaborating Domain Descriptions.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Knowing how to play: uniform choices in logics of agency.

[BibT_eX]

[DOI]

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

OCC's Emotions: A Formalization in a BDI Logic.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2006

Terminating modal tableaux with simple completeness proof.

[BibT_eX]

[DOI]

Mohamad Sahade

Proceedings of the Advances in Modal Logic 6, 2006

2005

A Logical Framework for Grounding-based Dialogue Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

From Coalition Logic to STIT.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

LoTREC: Logical Tableaux Research Engineering Companion.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Paraconsistent Reasoning for the Semantic Web.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

Cohesion, coupling and the meta-theory of actions.

[BibT_eX]

[DOI]

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

On updates with integrity constraints.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Modal Tableaux: Completeness vs. Termination.

[BibT_eX]

Mohamad Sahade

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Domain descriptions should be modular.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

C&L Intention Revisited.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Obligation Change in Dependence Logic and Situation Calculus.

[BibT_eX]

[DOI]

Robert Demolombe

Proceedings of the Deontic Logic in Computer Science, 2004

Inferring Trust.

[BibT_eX]

[DOI]

Mehdi Dastani

Leendert W. N. van der Torre

Joris Hulstijn

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

On the Modularity of Theories.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

Regression in Modal Logic.

[BibT_eX]

[DOI]

Robert Demolombe

J. Appl. Non Class. Logics, 2003

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

Modal Probability, Belief, and Actions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Action representation and partially observable planning using epistemic logic.

[BibT_eX]

[DOI]

Pierre Marquis

Proceedings of the IJCAI-03, 2003

On Modal Probability and Belief.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

On Iterated Revision in the AGM Framework.

[BibT_eX]

[DOI]

Sébastien Konieczny

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002

It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Sensing and revision in a modal logic of belief and action.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

A logic of intention with cooperation principles and with assertive speech acts as communication primitives.

[BibT_eX]

[DOI]

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

A logic for semi-public communication in multi-agent systems.

[BibT_eX]

[DOI]

László Aszalós

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

2001

Updates, actions, and planning.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Reasoning about Failure.

[BibT_eX]

[DOI]

László Aszalós

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

Lotrec : The Generic Tableau Prover for Modal and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Belief Dynamics in Cooperative Dialogues.

[BibT_eX]

[DOI]

J. Semant., 2000

A modal logic for epistemic tests.

[BibT_eX]

Thomas Polacsek

Proceedings of the ECAI 2000, 2000

A Logic for Planning under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Formalizing Action and Change in Modal Logic I: the frame problem.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Propositional Belief Base Update and Minimal Change.

[BibT_eX]

[DOI]

Omar Rifi

Artif. Intell., 1999

1998

Euro-Umstellung bei der GfA.

[BibT_eX]

[DOI]

Andreas Böhner

Georges Hauenstein

HMD Prax. Wirtsch., 1998

Update Operations: A Review.

[BibT_eX]

Omar Rifi

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Belief Reconstruction in Cooperative Dialogues.

[BibT_eX]

[DOI]

Omar Rifi

Proceedings of the Artificial Intelligence: Methodology, 1998

Modal tableaux based on graph-rules.

[BibT_eX]

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Modal Tableaux with Propagation Rules and Structural Rules.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Qualitative Relevance and Independence: A Roadmap.

[BibT_eX]

[DOI]

Didier Dubois

Henri Prade

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

How to Change Factual Beliefs Using Laws and Dependence Information.

[BibT_eX]

[DOI]

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Modal Tableaux for Reasoning About Actions and Plans.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996

Belief Change and Dependence.

[BibT_eX]

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Revisions, Updated, and Interference.

[BibT_eX]

Proceedings of the Logic, Action, and Information, 1996

The PMA Revisited.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

Talkin'bout Consistency, or: When Logically Possible Becomes Possible.

[BibT_eX]

[DOI]

Antonio Frias Delgado

Proceedings of the Practical Reasoning, 1996

1994

A translation from the modal logic of provability into K4.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1994

Interference logic = conditional logic + frame axiom.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1994

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1994

An Ordinal View of Independence with Application to Plausible Reasoning.

[BibT_eX]

[DOI]

Didier Dubois

Henri Prade

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

A Conditional Logic for Updating in the Possible Models Approach.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Translation-Based Deduction Methods for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

Possibility Theory and Independence.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

1993

Translating Inaccessible Worlds Logic into Bimodal Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

Metaprogramming Through Intensional Deduction: Some Examples.

[BibT_eX]

[DOI]

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Implementing Prolog Extensions: a Parallel Inference Machine.

[BibT_eX]

Jean-Marc Alliot

Mamede Lima-Marques

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.

[BibT_eX]

[DOI]

Mamede Lima-Marques

Proceedings of the Processing Declarative Knowledge, 1991

Parameter Structures for Parametrized Modal Operators.

[BibT_eX]

[DOI]

Hans Jürgen Ohlbach

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

A Modal Analysis of Possibility Theory.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Deterministic Modal Logics for Automated Deduction.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Tutorial on Compilation techniques for Logics.

[BibT_eX]

[DOI]

Hans Jürgen Ohlbach

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Plan Generation by Linear Proofs: On Semantics.

[BibT_eX]

[DOI]

Wolfgang Bibel

Bertram Fronhöfer

Proceedings of the GWAI-89, 1989

1988

Declarative Semantics for Modal Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Linear Modal Deductions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

MOLOG: a Modal PROLOG.

[BibT_eX]

[DOI]

Pierre Bieber