Andreas Herzig

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 64

Top Venues

IJCAI

CoRR

JELIA

Publications

Thorsten Engesser, Andreas Herzig, Elise Perrotin
Towards Epistemic-Doxastic Planning with Observation and Revision. AAAI (2024)
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
Reasoning About Action and Change. CoRR (2024)
Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel
Epistemic planning: Perspectives on the special issue. Artif. Intell. 316 (2023)
Sylvie Doutre, Andreas Herzig, Anthony Hunter
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. J. Appl. Non Class. Logics 33 (3-4) (2023)
Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
Counterfactual Reasoning via Grounded Distance. KR (2023)
Antonio Yuste-Ginel, Andreas Herzig
Qualitative uncertainty and dynamics of argumentation through dynamic logic. J. Log. Comput. 33 (2) (2023)
Antonio Yuste-Ginel, Andreas Herzig
Qualitative uncertainty and dynamics of argumentation through dynamic logic. CoRR (2023)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL 30 (1) (2022)
Andreas Herzig, Juha Kontinen
Preface. Ann. Math. Artif. Intell. 90 (2) (2022)
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Database Repair via Event-Condition-Action Rules in Dynamic Logic. FoIKS (2022)
Andreas Herzig, Emiliano Lorini, Elise Perrotin
A Computationally Grounded Logic of 'Seeing-to-it-that'. IJCAI (2022)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
A lightweight epistemic logic and its application to planning. Artif. Intell. 298 (2021)
Andreas Herzig, Antonio Yuste-Ginel
On the Epistemic Logic of Incomplete Argumentation Frameworks. KR (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. CoRR (2021)
Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
Epistemic Reasoning About Rationality and Bids in Auctions. JELIA (2021)
Andreas Herzig, Frédéric Maris, Elise Perrotin
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. KR (2021)
Andreas Herzig, Antonio Yuste-Ginel
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. CLAR (2021)
Andreas Herzig, Antonio Yuste-Ginel
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks. IJCAI (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121 (2021)
Andreas Herzig, Elise Perrotin
On the Axiomatisation of Common Knowledge. AiML (2020)
Jorge Luis Fernandez Davila, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More. IJCAI (2020)
Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282 (2020)
Esra Erdem, Andreas Herzig
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach. ICLP Technical Communications (2020)
Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber
A Logic of Explicit and Implicit Distributed Belief. ECAI (2020)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning. KR (2020)
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. Description Logics (2020)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. AAAI (2020)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified Evidence Logics. IJCAI (2019)
Andreas Herzig, Emiliano Lorini, David Pearce
Social Intelligence. AI Soc. 34 (4) (2019)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. CoRR (2019)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource Separation in Dynamic Logic of Propositional Assignments. DaLí (2019)
Andreas Herzig, Frédéric Maris, Julien Vianey
Dynamic logic of parallel propositional assignments and its applications to planning. IJCAI (2019)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem. Discret. Math. 342 (3) (2019)
Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
The Dynamic Logic of Policies and Contingent Planning. JELIA (2019)
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Logic Account of Active Integrity Constraints. Fundam. Informaticae 169 (3) (2019)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR (2018)
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. CLAR (2018)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems. EUMAS (2018)
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
A Dynamic Extension of ALCO for Repairing via Preferred Updates. Description Logics (2018)
Arianna Novaro, Umberto Grandi, Andreas Herzig
Judgment aggregation in dynamic logic of propositional assignments. J. Log. Comput. 28 (7) (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic (2018)
Andreas Herzig
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. J. Appl. Non Class. Logics 27 (3-4) (2017)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
Deciding Refinement Relation in Belief-Intention Databases. AI*IA (2017)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI (2017)
Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes
Non-Determinism and the Dynamics of Knowledge. IJCAI (2017)
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Strategically knowing how. IJCAI (2017)
Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
Repairing ABoxes through Active Integrity Constraints. Description Logics (2017)
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
Relaxing Exclusive Control in Boolean Games. TARK (2017)
Francesco Belardinelli, Andreas Herzig
Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI (2017)
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Strategically knowing how. CoRR (2017)
Andreas Herzig, Faustine Maffre
How to share knowledge by gossiping. AI Commun. 30 (1) (2017)
Andreas Herzig, Emiliano Lorini, David Pearce
Preface. J. Appl. Non Class. Logics 27 (1-2) (2017)
Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao
BDI Logics for BDI Architectures: Old Problems, New Perspectives. Künstliche Intell. 31 (1) (2017)
Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27 (3-4) (2017)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement. Advances in Modal Logic (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping. CoRR (2016)
Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI (2016)
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
On Hierarchical Task Networks. JELIA (2016)
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building Epistemic Logic from Observations and Public Announcements. KR (2016)
Francesco Belardinelli, Andreas Herzig
On Logics of Strategic Ability Based on Propositional Control. IJCAI (2016)
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents. J. Log. Lang. Inf. 25 (1) (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple Epistemic Planning: Generalised Gossiping. ECAI (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A Simple Account of Multi-Agent Epistemic Planning. ECAI (2016)
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
Refinement of Intentions. JELIA (2016)
Andreas Herzig, Faustine Maffre
How to Share Knowledge by Gossiping. EUMAS/AT (2015)
Andreas Herzig
Letter from the Editor. J. Appl. Non Class. Logics 25 (1) (2015)
Chiaki Sakama, Martin Caminada, Andreas Herzig
A formal account of dishonesty. Log. J. IGPL 23 (2) (2015)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Equilibrium Logic. IJCAI (2015)
Andreas Herzig
Logics of knowledge and action: critical analysis and challenges. Auton. Agents Multi Agent Syst. 29 (5) (2015)
Andreas Herzig, Emiliano Lorini, Faustine Maffre
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. LORI (2015)
Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS (2014)
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation. KR (2014)
Philippe Besnard, Sylvie Doutre, Andreas Herzig
Encoding Argument Graphs in Logic. IPMU (2) (2014)
Guillaume Feuillade, Andreas Herzig
A Dynamic View of Active Integrity Constraints. JELIA (2014)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing equilibrium models in modal logic. J. Appl. Log. 12 (2) (2014)
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR (2014)
Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi
Trust-based Personal Information Management in SOA. ICAART (1) (2014)
Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
On the revision of planning tasks. ECAI (2014)
Tiago de Lima, Andreas Herzig
Tableaux for Dynamic Logic of Propositional Assignments. CoRR (2014)
Andreas Herzig
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. KR (2014)
Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI (2013)
Andreas Herzig
A Simple Separation Logic. WoLLIC (2013)
Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang
Introduction to the special issue. Int. J. Game Theory 42 (3) (2013)
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen
Grounding power on actions and mental attitudes. Log. J. IGPL 21 (3) (2013)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Combining Equilibrium Logic and Dynamic Logic. LPNMR (2013)
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS (2013)
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An Ordinal View of Independence with Application to Plausible Reasoning CoRR (2013)
Andreas Herzig, Jérôme Lang, Pierre Marquis
Propositional Update Operators Based on Formula/Literal Dependence. ACM Trans. Comput. Log. 14 (3) (2013)
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about Actions Meets Strategic Logics. LORI (2013)
Luis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. 26 (1-2) (2012)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Some Truths Are Best Left Unsaid. Advances in Modal Logic (2012)
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON (2012)
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics 22 (3) (2012)
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
A Dynamic Logic of Normative Systems. IJCAI (2011)
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21 (2) (2011)
Luis Fariñas del Cerro, Andreas Herzig
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
A Dynamic Logic of Institutional Actions. CLIMA (2011)
Luis Fariñas del Cerro, Andreas Herzig
The Modal Logic of Equilibrium Models. FroCoS (2011)
Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS (2011)
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek
Foreword. J. Appl. Non Class. Logics 21 (3-4) (2011)

Andreas Herzig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Herzig