Andreas Herzig

According to our database1, Andreas Herzig authored at least 196 papers between 1988 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach.
CoRR, 2020

Autoepistemic equilibrium logic and epistemic specifications.
Artif. Intell., 2020

TouIST: a Friendly Language for Propositional Logic and More.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Logic of Explicit and Implicit Distributed Belief.
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

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes.
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

Refining HTN Methods via Task Insertion with Preferences.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
A Dynamic Logic Account of Active Integrity Constraints.
Fundam. Informaticae, 2019

The epistemic gossip problem.
Discret. Math., 2019

Social Intelligence.
AI Soc., 2019

Resource Separation in Dynamic Logic of Propositional Assignments.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

The Dynamic Logic of Policies and Contingent Planning.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Dynamic logic of parallel propositional assignments and its applications to planning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Stratified Evidence Logics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Judgment aggregation in dynamic logic of propositional assignments.
J. Log. Comput., 2018

Frame-validity games and lower bounds on the complexity of modal axioms.
CoRR, 2018

Temporal Epistemic Gossip Problems.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

A Dynamic Extension of ALCO for Repairing via Preferred Updates.
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.
Proceedings of the Dynamics, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.
Proceedings of the Advances in Modal Logic 12, 2018

2017
BDI Logics for BDI Architectures: Old Problems, New Perspectives.
Künstliche Intell., 2017

Preface.
J. Appl. Non Class. Logics, 2017

Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.
J. Appl. Non Class. Logics, 2017

A short biography of Luis Fariñas del Cerro.
J. Appl. Non Class. Logics, 2017

Relaxing Exclusive Control in Boolean Games.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

How to share knowledge by gossiping.
AI Commun., 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Non-Determinism and the Dynamics of Knowledge.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Strategically knowing how.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Dynamic Logic for Data-aware Systems: Decidability Results.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Repairing ABoxes through Active Integrity Constraints.
Proceedings of the 30th International Workshop on Description Logics, 2017

Deciding Refinement Relation in Belief-Intention Databases.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Computer-Mediated Trust in Self-interested Expert Recommendations.
Proceedings of the Cognition Beyond the Brain: Computation, 2017

2016
Announcements to Attentive Agents.
J. Log. Lang. Inf., 2016

Building Epistemic Logic from Observations and Public Announcements.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

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

On Hierarchical Task Networks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Epistemic Boolean Games Based on a Logic of Visibility and Control.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Logics of Strategic Ability Based on Propositional Control.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Simple Epistemic Planning: Generalised Gossiping.
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.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Before announcement.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Using STIT Theory to Talk About Strategies.
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Letter from the Editor.
J. Appl. Non Class. Logics, 2015

A formal account of dishonesty.
Log. J. IGPL, 2015

Logics of knowledge and action: critical analysis and challenges.
Auton. Agents Multi Agent Syst., 2015

A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Epistemic Equilibrium Logic.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Capturing equilibrium models in modal logic.
J. Appl. Log., 2014

Tableaux for Dynamic Logic of Propositional Assignments.
CoRR, 2014

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

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Dynamic Logic Framework for Abstract Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Dynamic View of Active Integrity Constraints.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Encoding Argument Graphs in Logic.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Trust-based Personal Information Management in SOA.
Proceedings of the ICAART 2014, 2014

Belief Merging in Dynamic Logic of Propositional Assignments.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

On the revision of planning tasks.
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.
Studies in Universal Logic, Birkhäuser, ISBN: 978-3-7643-8503-3, 2014

2013
Propositional Update Operators Based on Formula/Literal Dependence.
ACM Trans. Comput. Log., 2013

Introduction to the special issue.
Int. J. Game Theory, 2013

Grounding power on actions and mental attitudes.
Log. J. IGPL, 2013

A Simple Separation Logic.
Proceedings of the Logic, Language, Information, and Computation, 2013

Combining Equilibrium Logic and Dynamic Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Reasoning about Actions Meets Strategic Logics.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Listen to Me! Public Announcements to Agents That Pay Attention - or Not.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
La logique modale des modèles d'équilibre.
Rev. d'Intelligence Artif., 2012

Public announcements, public assignments and the complexity of their logic.
J. Appl. Non Class. Logics, 2012

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Some Truths Are Best Left Unsaid.
Proceedings of the Advances in Modal Logic 9, 2012

2011
From Situation Calculus to Dynamic Epistemic Logic.
J. Log. Comput., 2011

Editorial Introduction: Logical Methods for Social Concepts.
J. Philos. Log., 2011

Foreword.
J. Appl. Non Class. Logics, 2011

How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments.
Proceedings of the Multi-Agent-Based Simulation XII - International Workshop, 2011

Contingency-Based Equilibrium Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Dynamic Logic of Normative Systems.
Proceedings of the IJCAI 2011, 2011

The Modal Logic of Equilibrium Models.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

A Dynamic Logic of Institutional Actions.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Agents that speak: modelling communicative plans and information sources in a logic of announcements.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Logics of Contingency.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Tableaux for Public Announcement Logic.
J. Log. Comput., 2010

A Dynamic Logic of Agency I: STIT, Capabilities and Powers.
J. Log. Lang. Inf., 2010

A logic of trust and reputation.
Log. J. IGPL, 2010

A Modal Logic for Termgraph Rewriting
CoRR, 2010

Preface - Special issue on commonsense reasoning for the semantic web.
Ann. Math. Artif. Intell., 2010

Computer-mediated trust in self-interested expert recommendations.
AI Soc., 2010

A Logical Account of Lying.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

A Dynamic Logic for Termgraph Rewriting.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Trust in complex actions.
Proceedings of the ECAI 2010, 2010

2009
On the dynamics of institutional agreements.
Synth., 2009

Introspective forgetting.
Synth., 2009

A logical formalization of the OCC theory of emotions.
Synth., 2009

The Logic of Acceptance: Grounding Institutions on Agents' Attitudes.
J. Log. Comput., 2009

What groups do, can do, and know they can do: an analysis in normal modal logics.
J. Appl. Non Class. Logics, 2009

Global and Local Graph Modifiers.
Electron. Notes Theor. Comput. Sci., 2009

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

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

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

A Protocol for Execution of Distributed Logic Programs.
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.
Proceedings of the Engineering Societies in the Agents World X, 2009

Tableaux for Acceptance Logic.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Unifying the Intentional and Institutional Semantics of Speech Acts.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Speech acts as announcements.
Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

Dynamic Context Logic and its Application to Norm.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Logical formalization of social commitments: application to agent communication languages.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
A logic of intention and attempt.
Synth., 2008

Book Reviews.
Stud Logica, 2008

'Knowable' as 'known after an announcement'.
Rev. Symb. Log., 2008

Alternative Axiomatics and Complexity of Deliberative STIT Theories.
J. Philos. Log., 2008

Prolegomena for a Logic of Trust and Reputation.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Uniform Interpolation by Resolution in Modal Logic.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Prime Implicate-based Belief Revision Operators.
Proceedings of the ECAI 2008, 2008

Properties of logics of individual and group agency.
Proceedings of the Advances in Modal Logic 7, 2008

2007
PLEIAD, un agent émotionnel pour évaluer la typologie OCC.
Rev. d'Intelligence Artif., 2007

Foreword.
J. Appl. Non Class. Logics, 2007

Metatheory of actions: Beyond consistency.
Artif. Intell., 2007

A normal simulation of coalition logic and an epistemic extension.
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.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

From DEL to EDL : Exploring the Power of Converse Events.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Optimal Regression for Reasoning about Knowledge and Actions.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Delegation and mental states.
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.
J. Log. Comput., 2006

A Logical Framework for Grounding-based Dialogue Analysis.
Electron. Notes Theor. Comput. Sci., 2006

From Coalition Logic to STIT.
Electron. Notes Theor. Comput. Sci., 2006

Grounding and the Expression of Belief.
Proceedings of the Proceedings, 2006

Modélisation logique d'agents rationnels pour l'intelligence ambiante.
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.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Modularity Approach for a Fragment of <i>ALC</i>.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A STIT-Extension of ATL.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Epistemic Actions and Ontic Actions: A Unified Logical Framework.
Proceedings of the Advances in Artificial Intelligence, 2006

Elaborating Domain Descriptions.
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.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Knowing how to play: uniform choices in logics of agency.
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.
Proceedings of the Artificial Intelligence: Methodology, 2006

Terminating modal tableaux with simple completeness proof.
Proceedings of the Advances in Modal Logic 6, 2006

2005
LoTREC: Logical Tableaux Research Engineering Companion.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Paraconsistent Reasoning for the Semantic Web.
Proceedings of the International Semantic Web Conference, 2005

Cohesion, coupling and the meta-theory of actions.
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.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Modal Tableaux: Completeness vs. Termination.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
Domain descriptions should be modular.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

C&L Intention Revisited.
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.
Proceedings of the Deontic Logic in Computer Science, 2004

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

On the Modularity of Theories.
Proceedings of the Advances in Modal Logic 5, 2004

2003
Regression in Modal Logic.
J. Appl. Non Class. Logics, 2003

Foreword.
J. Appl. Non Class. Logics, 2003

Modal Probability, Belief, and Actions.
Fundam. Informaticae, 2003

Action representation and partially observable planning using epistemic logic.
Proceedings of the IJCAI-03, 2003

On Modal Probability and Belief.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

On Iterated Revision in the AGM Framework.
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.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Sensing and revision in a modal logic of belief and action.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

A logic of intention with cooperation principles and with assertive speech acts as communication primitives.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

A logic for semi-public communication in multi-agent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Updates, actions, and planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Reasoning about Failure.
Proceedings of the Engineering Societies in the Agents World II, 2001

Lotrec : The Generic Tableau Prover for Modal and Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Belief Dynamics in Cooperative Dialogues.
J. Semant., 2000

A modal logic for epistemic tests.
Proceedings of the ECAI 2000, 2000

A Logic for Planning under Partial Observability.
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.
J. Log. Comput., 1999

Propositional Belief Base Update and Minimal Change.
Artif. Intell., 1999

1998
Euro-Umstellung bei der GfA.
HMD Prax. Wirtsch., 1998

Update Operations: A Review.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Belief Reconstruction in Cooperative Dialogues.
Proceedings of the Artificial Intelligence: Methodology, 1998

Modal tableaux based on graph-rules.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Modal Tableaux with Propagation Rules and Structural Rules.
Fundam. Informaticae, 1997

Qualitative Relevance and Independence: A Roadmap.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

How to Change Factual Beliefs Using Laws and Dependence Information.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Modal Tableaux for Reasoning About Actions and Plans.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996
Belief Change and Dependence.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Revisions, Updated, and Interference.
Proceedings of the Logic, Action, and Information, 1996

The PMA Revisited.
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.
Proceedings of the Frontiers of Combining Systems, 1996

Talkin'bout Consistency, or: When Logically Possible Becomes Possible.
Proceedings of the Practical Reasoning, 1996

1994
A translation from the modal logic of provability into K4.
J. Appl. Non Class. Logics, 1994

Interference logic = conditional logic + frame axiom.
Int. J. Intell. Syst., 1994

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.
Artif. Intell., 1994

An Ordinal View of Independence with Application to Plausible Reasoning.
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.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Translation-Based Deduction Methods for Modal Logics.
Proceedings of the Advances in Intelligent Computing, 1994

Possibility Theory and Independence.
Proceedings of the Advances in Intelligent Computing, 1994

1993
Translating Inaccessible Worlds Logic into Bimodal Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
Metaprogramming Through Intensional Deduction: Some Examples.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Implementing Prolog Extensions: a Parallel Inference Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.
Proceedings of the Processing Declarative Knowledge, 1991

Parameter Structures for Parametrized Modal Operators.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

A Modal Analysis of Possibility Theory.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
Deterministic Modal Logics for Automated Deduction.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Tutorial on Compilation techniques for Logics.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Plan Generation by Linear Proofs: On Semantics.
Proceedings of the GWAI-89, 1989

1988
Declarative Semantics for Modal Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Linear Modal Deductions.
Proceedings of the 9th International Conference on Automated Deduction, 1988

MOLOG: a Modal PROLOG.
Proceedings of the 9th International Conference on Automated Deduction, 1988


  Loading...