Andreas Herzig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
100
Venues
22
Active years
1988–2025
Best venue rank
A*
Where they publish
- A*IJCAI18 papers
- AECAI15 papers
- A*KR10 papers
- BJELIA10 papers
- BAiML7 papers
- CECSQARU7 papers
- A*AAAI6 papers
- ACADE4 papers
- CIPMU3 papers
- BTARK3 papers
- CEUMAS2 papers
- BLPNMR2 papers
- BTABLEAUX2 papers
- NationalAIMSA2 papers
- NationalKI2 papers
- CTAP1 paper
- BICAART1 paper
- A*LICS1 paper
- CWoLLIC1 paper
- CMABS1 paper
- UnrankedIDC1 paper
- AUAI1 paper
Papers
100 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Minimal Change in Modal Logic S5. | Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig |
| 2025 | AAAI | On the Logic of Theory Base Change: Reformulation of Belief Bases. | Eduardo L. Ferm, Andreas Herzig, Maria Vanina Martinez |
| 2024 | AAAI | Towards Epistemic-Doxastic Planning with Observation and Revision. | Thorsten Engesser, Andreas Herzig, Elise Perrotin |
| 2024 | ECAI | A Novel View of Analogical Proportion Between Formulas. | Andreas Herzig, Emiliano Lorini, Henri Prade |
| 2023 | KR | Counterfactual Reasoning via Grounded Distance. | Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini |
| 2022 | IJCAI | A Computationally Grounded Logic of 'Seeing-to-it-that'. | Andreas Herzig, Emiliano Lorini, Elise Perrotin |
| 2021 | IJCAI | Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks. | Andreas Herzig, Antonio Yuste-Ginel |
| 2021 | JELIA | Epistemic Reasoning About Rationality and Bids in Auctions. | Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
| 2021 | KR | A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. | Andreas Herzig, Frdric Maris, Elise Perrotin |
| 2021 | KR | On the Epistemic Logic of Incomplete Argumentation Frameworks. | Andreas Herzig, Antonio Yuste-Ginel |
| 2020 | AAAI | Refining HTN Methods via Task Insertion with Preferences. | Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen |
| 2020 | AiML | On the Axiomatisation of Common Knowledge. | Andreas Herzig, Elise Perrotin |
| 2020 | ECAI | A Logic of Explicit and Implicit Distributed Belief. | Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabin Romero, Franois Schwarzentruber |
| 2020 | IJCAI | TouIST: a Friendly Language for Propositional Logic and More. | Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frdric Maris, Pierre Rgnier |
| 2020 | KR | Lightweight Parallel Multi-Agent Epistemic Planning. | Martin C. Cooper, Andreas Herzig, Frdric Maris, Elise Perrotin, Julien Vianey |
| 2019 | IJCAI | Stratified Evidence Logics. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Emiliano Lorini |
| 2019 | IJCAI | Dynamic logic of parallel propositional assignments and its applications to planning. | Andreas Herzig, Frdric Maris, Julien Vianey |
| 2019 | JELIA | The Dynamic Logic of Policies and Contingent Planning. | Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmller, Bernhard Nebel |
| 2019 | TAP | Resource Separation in Dynamic Logic of Propositional Assignments. | Joseph Boudou, Andreas Herzig, Nicolas Troquard |
| 2018 | AiML | Frame-Validity Games and Absolute Minimality of Modal Axioms. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev |
| 2018 | EUMAS | Temporal Epistemic Gossip Problems. | Martin C. Cooper, Andreas Herzig, Frdric Maris, Julien Vianey |
| 2017 | IJCAI | Dynamic Logic for Data-aware Systems: Decidability Results. | Francesco Belardinelli, Andreas Herzig |
| 2017 | IJCAI | Strategically knowing how. | Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang |
| 2017 | IJCAI | Non-Determinism and the Dynamics of Knowledge. | Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes |
| 2017 | IJCAI | Hierarchical Task Network Planning with Task Insertion and State Constraints. | Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su |
| 2016 | AiML | Before announcement. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig |
| 2016 | ECAI | A Simple Account of Multi-Agent Epistemic Planning. | Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frdric Maris, Pierre Rgnier |
| 2016 | ECAI | Simple Epistemic Planning: Generalised Gossiping. | Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frdric Maris, Pierre Rgnier |
| 2016 | IJCAI | On Logics of Strategic Ability Based on Propositional Control. | Francesco Belardinelli, Andreas Herzig |
| 2016 | IJCAI | Epistemic Boolean Games Based on a Logic of Visibility and Control. | Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |
| 2016 | JELIA | On Hierarchical Task Networks. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |
| 2016 | JELIA | Refinement of Intentions. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
| 2016 | KR | Building Epistemic Logic from Observations and Public Announcements. | Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |
| 2015 | EUMAS | How to Share Knowledge by Gossiping. | Andreas Herzig, Faustine Maffre |
| 2015 | IJCAI | Epistemic Equilibrium Logic. | Luis Farias del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2014 | ECAI | On the revision of planning tasks. | Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann |
| 2014 | ICAART | Trust-based Personal Information Management in SOA. | Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi |
| 2014 | IPMU | Encoding Argument Graphs in Logic. | Philippe Besnard, Sylvie Doutre, Andreas Herzig |
| 2014 | JELIA | A Dynamic View of Active Integrity Constraints. | Guillaume Feuillade, Andreas Herzig |
| 2014 | KR | A Dynamic Logic Framework for Abstract Argumentation. | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
| 2014 | KR | Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. | Andreas Herzig |
| 2013 | LICS | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. | Philippe Balbiani, Andreas Herzig, Nicolas Troquard |
| 2013 | LPNMR | Combining Equilibrium Logic and Dynamic Logic. | Luis Farias del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2013 | WoLLIC | A Simple Separation Logic. | Andreas Herzig |
| 2012 | AiML | Some Truths Are Best Left Unsaid. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2011 | IJCAI | A Dynamic Logic of Normative Systems. | Andreas Herzig, Emiliano Lorini, Frdric Moisan, Nicolas Troquard |
| 2011 | LPNMR | Contingency-Based Equilibrium Logic. | Luis Farias del Cerro, Andreas Herzig |
| 2011 | MABS | How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments. | Benot Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc |
| 2010 | ECAI | Trust in complex actions. | Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini |
| 2010 | JELIA | A Logical Account of Lying. | Chiaki Sakama, Martin Caminada, Andreas Herzig |
| 2009 | IDC | A Protocol for Execution of Distributed Logic Programs. | Lszl Aszals, Andreas Herzig |
| 2008 | AiML | Properties of logics of individual and group agency. | Andreas Herzig, Franois Schwarzentruber |
| 2008 | ECAI | Prime Implicate-based Belief Revision Operators. | Meghyn Bienvenu, Andreas Herzig, Guilin Qi |
| 2008 | JELIA | Uniform Interpolation by Resolution in Modal Logic. | Andreas Herzig, Jrme Mengin |
| 2007 | AAAI | Optimal Regression for Reasoning about Knowledge and Actions. | Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | ECSQARU | From DEL to EDL : Exploring the Power of Converse Events. | Guillaume Aucher, Andreas Herzig |
| 2007 | TABLEAUX | A Tableau Method for Public Announcement Logics. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TARK | What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. | Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |
| 2007 | TARK | A normal simulation of coalition logic and an epistemic extension. | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
| 2006 | AiML | Terminating modal tableaux with simple completeness proof. | Olivier Gasquet, Andreas Herzig, Mohamad Sahade |
| 2006 | AIMSA | OCC's Emotions: A Formalization in a BDI Logic. | Carole Adam, Benot Gaudou, Andreas Herzig, Dominique Longin |
| 2006 | ECAI | A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. | Benot Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles |
| 2006 | ECAI | Elaborating Domain Descriptions. | Andreas Herzig, Laurent Perrussel, Ivan Varzinczak |
| 2006 | JELIA | A STIT-Extension of ATL. | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
| 2006 | JELIA | A Modularity Approach for a Fragment of | Andreas Herzig, Ivan Varzinczak |
| 2006 | JELIA | Introducing | Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi |
| 2006 | KR | Grounding and the Expression of Belief. | Benot Gaudou, Andreas Herzig, Dominique Longin |
| 2005 | IJCAI | Cohesion, coupling and the meta-theory of actions. | Andreas Herzig, Ivan Varzinczak |
| 2005 | TABLEAUX | LoTREC: Logical Tableaux Research Engineering Companion. | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
| 2004 | AiML | On the Modularity of Theories. | Andreas Herzig, Ivan Jos Varzinczak |
| 2004 | ECAI | Domain Descriptions Should Be Modular. | Andreas Herzig, Ivan Jos Varzinczak |
| 2004 | KR | C&L Intention Revisited. | Andreas Herzig, Dominique Longin |
| 2003 | ECSQARU | On Iterated Revision in the AGM Framework. | Andreas Herzig, Sbastien Konieczny, Laurent Perrussel |
| 2003 | ECSQARU | On Modal Probability and Belief. | Andreas Herzig, Dominique Longin |
| 2003 | IJCAI | Action representation and partially observable planning using epistemic logic. | Andreas Herzig, Jrme Lang, Pierre Marquis |
| 2002 | ECAI | Sensing and revision in a modal logic of belief and action. | Andreas Herzig, Dominique Longin |
| 2001 | CADE | Lotrec : The Generic Tableau Prover for Modal and Description Logics. | Luis Farias del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci |
| 2001 | IJCAI | Updates, actions, and planning. | Andreas Herzig, Jrme Lang, Pierre Marquis, Thomas Polacsek |
| 2000 | AAAI | A Logic for Planning under Partial Observability. | Andreas Herzig, Jrme Lang, Dominique Longin, Thomas Polacsek |
| 2000 | ECAI | A modal logic for epistemic tests. | Andreas Herzig, Jrme Lang, Thomas Polacsek |
| 1998 | AIMSA | Belief Reconstruction in Cooperative Dialogues. | Luis Farias del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi |
| 1998 | ECAI | Update Operations: A Review. | Andreas Herzig, Omar Rifi |
| 1997 | ECSQARU | How to Change Factual Beliefs Using Laws and Dependence Information. | Andreas Herzig |
| 1997 | IJCAI | Qualitative Relevance and Independence: A Roadmap. | Didier Dubois, Luis Farias del Cerro, Andreas Herzig, Henri Prade |
| 1996 | KR | The PMA Revisited. | Andreas Herzig |
| 1996 | TARK | Belief Change and Dependence. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | IPMU | Possibility Theory and Independence. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | IPMU | Translation-Based Deduction Methods for Modal Logics. | Olivier Gasquet, Andreas Herzig |
| 1994 | KI | A Conditional Logic for Updating in the Possible Models Approach. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | UAI | An Ordinal View of Independence with Application to Plausible Reasoning. | Didier Dubois, Luis Farias del Cerro, Andreas Herzig, Henri Prade |
| 1993 | ECSQARU | Interference Logic = Conditional Logic + Frame Axiom. | Luis Farias del Cerro, Andreas Herzig |
| 1993 | ECSQARU | Translating Inaccessible Worlds Logic into Bimodal Logic. | Olivier Gasquet, Andreas Herzig |
| 1992 | ECAI | From Ordering Based Nonmonotonic Reasoning to Conditional Logics. | Luis Farias del Cerro, Andreas Herzig, Jrme Lang |
| 1991 | ECSQARU | A Modal Analysis of Possibility Theory. | Luis Farias del Cerro, Andreas Herzig |
| 1991 | IJCAI | Parameter Structures for Parametrized Modal Operators. | Hans Jrgen Ohlbach, Andreas Herzig |
| 1990 | CADE | Tutorial on Compilation techniques for Logics. | Hans Jrgen Ohlbach, Andreas Herzig |
| 1990 | ECAI | Deterministic Modal Logics for Automated Deduction. | Luis Farias del Cerro, Andreas Herzig |
| 1989 | KI | Plan Generation by Linear Proofs: On Semantics. | Wolfgang Bibel, Luis Farias del Cerro, Bertram Fronhfer, Andreas Herzig |
| 1988 | CADE | MOLOG: a Modal PROLOG. | Pierre Bieber, Luis Farias del Cerro, Andreas Herzig |
| 1988 | CADE | Linear Modal Deductions. | Luis Farias del Cerro, Andreas Herzig |