Andreas Herzig

Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. CoRR abs/1302.6803 (2013)

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Public announcements, public assignments and the complexity of their logic. Journal of Applied Non-Classical Logics 22(3): 249-273 (2012)

Luis Fariñas del Cerro, Andreas Herzig: La logique modale des modèles d'équilibre. Revue d'Intelligence Artificielle 26(1-2): 85-102 (2012)

Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Some Truths Are Best Left Unsaid. Advances in Modal Logic 2012: 36-54

Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard: A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON 2012: 170-183

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.): Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7519, Springer 2012, isbn 978-3-642-33352-1

Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek: Foreword. Journal of Applied Non-Classical Logics 21(3-4): 263-264 (2011)

Andreas Herzig, Emiliano Lorini: Editorial Introduction: Logical Methods for Social Concepts. J. Philosophical Logic 40(4): 441-443 (2011)

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011)

Luis Fariñas del Cerro, Andreas Herzig: Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 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: 1207-1208

Andreas Herzig, Emiliano Lorini, Nicolas Troquard: A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311

Luis Fariñas del Cerro, Andreas Herzig: The Modal Logic of Equilibrium Models. FroCoS 2011: 135-146

Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233

Luis Fariñas del Cerro, Andreas Herzig: Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228

Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc: How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments. MABS 2011: 59-73

Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini: Computer-mediated trust in self-interested expert recommendations. AI Soc. 25(4): 413-422 (2010)

Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi: Preface - Special issue on commonsense reasoning for the semantic web. Ann. Math. Artif. Intell. 58(1-2): 1-2 (2010)

Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Laurent Vercouter: A logic of trust and reputation. Logic Journal of the IGPL 18(1): 214-244 (2010)

Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 20(4): 311 (2010)

Andreas Herzig, Emiliano Lorini: A Dynamic Logic of Agency I: STIT, Capabilities and Powers. Journal of Logic, Language and Information 19(1): 89-121 (2010)

Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)

Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini: Trust in complex actions. ECAI 2010: 1037-1038

Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74

Chiaki Sakama, Martin Caminada, Andreas Herzig: A Logical Account of Lying. JELIA 2010: 286-299

Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Modal Logic for Termgraph Rewriting. CoRR abs/1003.4369 (2010)

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)

Jan Broersen, Andreas Herzig, Nicolas Troquard: What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics 19(3): 261-290 (2009)

Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig: The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. J. Log. Comput. 19(6): 901-940 (2009)

Carole Adam, Andreas Herzig, Dominique Longin: A logical formalization of the OCC theory of emotions. Synthese 168(2): 201-248 (2009)

Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective forgetting. Synthese 169(2): 405-423 (2009)

Andreas Herzig, Tiago De Lima, Emiliano Lorini: On the dynamics of institutional agreements. Synthese 171(2): 321-355 (2009)

Benoit Gaudou, Andreas Herzig, Dominique Longin: Logical formalization of social commitments: application to agent communication languages. AAMAS (2) 2009: 1293-1294

Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis: Unifying the Intentional and Institutional Semantics of Speech Acts. DALT 2009: 68-84

Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini: Tableaux for Acceptance Logic. DALT 2009: 85-100

Yann Krupa, Laurent Vercouter, Jomi Fred Hübner, Andreas Herzig: Trust Based Evaluation of Wikipedia's Contributors. ESAW 2009: 148-161

László Aszalós, Andreas Herzig: A Protocol for Execution of Distributed Logic Programs. IDC 2009: 21-30

Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini: Dynamic Context Logic. LORI 2009: 15-26

Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211

Emiliano Lorini, François Schwarzentruber, Andreas Herzig: Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI 2009: 212-226

Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008)

Andreas Herzig: Book Reviews. Studia Logica 89(3): 441-445 (2008)

Emiliano Lorini, Andreas Herzig: A logic of intention and attempt. Synthese 163(1): 45-77 (2008)

Andreas Herzig, François Schwarzentruber: Properties of logics of individual and group agency. Advances in Modal Logic 2008: 133-149

Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29

Meghyn Bienvenu, Andreas Herzig, Guilin Qi: Prime Implicate-based Belief Revision Operators. ECAI 2008: 741-742

Andreas Herzig, Jérôme Mengin: Uniform Interpolation by Resolution in Modal Logic. JELIA 2008: 219-231

Andreas Herzig, Tiago De Lima, Emiliano Lorini: On the Dynamics of Institutional Agreements. KRAMAS 2008: 66-80

Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Jonathan Ben-Naim, Cristiano Castelfranchi, Robert Demolombe, Dominique Longin, Laurent Vercouter: Prolegomena for a Logic of Trust and Reputation. NORMAS 2008: 143-157

Andreas Herzig, Ivan José Varzinczak: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007)

Hans P. van Ditmarsch, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 17(2): 125-128 (2007)

Carole Adam, Andreas Herzig, Dominique Longin: PLEIAD, un agent émotionnel pour évaluer la typologie OCC. Revue d'Intelligence Artificielle 21(5-6): 781-811 (2007)

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-1076

Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi: Delegation and mental states. AAMAS 2007: 153

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents 2007

Guillaume Aucher, Andreas Herzig: From DEL to EDL : Exploring the Power of Converse Events. ECSQARU 2007: 199-209

Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59

Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima: What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51

Jan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101

Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories. CoRR abs/0704.3238 (2007)

Jan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)

Benoit Gaudou, Andreas Herzig, Dominique Longin: A Logical Framework for Grounding-based Dialogue Analysis. Electr. Notes Theor. Comput. Sci. 157(4): 117-137 (2006)

Jan Broersen, Andreas Herzig, Nicolas Troquard: Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006)

Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186

Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin: OCC's Emotions: A Formalization in a BDI Logic. AIMSA 2006: 24-32

Andreas Herzig, Nicolas Troquard: Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216

Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles: A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. ECAI 2006: 245-249

Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. ECAI 2006: 397-401

Andreas Herzig, Tiago De Lima: Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418

Jan Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81

Andreas Herzig, Ivan José Varzinczak: A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228

Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi: Introducing Attempt in a Modal Logic of Intentional Action. JELIA 2006: 280-292

Carole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin: Modélisation logique d'agents rationnels pour l'intelligence ambiante. JFSMA 2006: 81-94

Benoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. KR 2006: 221-229

Andreas Herzig, Ivan José Varzinczak: Metatheory of actions: beyond consistency. CoRR abs/cs/0603034 (2006)

Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614

Andreas Herzig: On updates with integrity constraints. Belief Change in Rational Agents 2005

Andreas Herzig, Ivan José Varzinczak: Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447

Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig: Paraconsistent Reasoning for the Semantic Web. ISWC-URSW 2005: 104-105

Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade: LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322

Andreas Herzig, Ivan José Varzinczak: On the Modularity of Theories. Advances in Modal Logic 2004: 93-109

Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre: Inferring Trust. CLIMA 2004: 144-160

Robert Demolombe, Andreas Herzig: Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73

Andreas Herzig, Ivan José Varzinczak: Domain Descriptions Should Be Modular. ECAI 2004: 348-352

Andreas Herzig, Dominique Longin: C&L Intention Revisited. KR 2004: 527-535

Andreas Herzig, Ivan José Varzinczak: Domain descriptions should be modular. NMR 2004: 204-211

Andreas Herzig: Modal Probability, Belief, and Actions. Fundam. Inform. 57(2-4): 323-344 (2003)

Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)

Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)

Andreas Herzig, Dominique Longin: On Modal Probability and Belief. ECSQARU 2003: 62-73

Andreas Herzig, Sébastien Konieczny, Laurent Perrussel: On Iterated Revision in the AGM Framework. ECSQARU 2003: 477-488

Andreas Herzig, Jérôme Lang, Pierre Marquis: Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072

Andreas Herzig, Dominique Longin: A logic of intention with cooperation principles and with assertive speech acts as communication primitives. AAMAS 2002: 920-927

László Aszalós, Andreas Herzig: A logic for semi-public communication in multi-agent systems. AAMAS 2002: 950-951

Andreas Herzig, Dominique Longin: Sensing and revision in a modal logic of belief and action. ECAI 2002: 307-311

Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak: It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. NMR 2002: 343-348

Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci: Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR 2001: 453-458

László Aszalós, Andreas Herzig: Reasoning about Failure. ESAW 2001: 74-85

Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek: Updates, actions, and planning. IJCAI 2001: 119-124

Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek: A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773

Andreas Herzig, Jérôme Lang, Thomas Polacsek: A modal logic for epistemic tests. ECAI 2000: 553-557

Andreas Herzig, Omar Rifi: Propositional Belief Base Update and Minimal Change. Artif. Intell. 115(1): 107-138 (1999)

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig: Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. 9(5): 701-735 (1999)

Andreas Böhner, Georges Hauenstein, Andreas Herzig: Euro-Umstellung bei der GfA. HMD - Praxis Wirtschaftsinform. 201 (1998)

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal tableaux based on graph-rules. RelMiCS 1998: 37-42

Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266

Andreas Herzig, Omar Rifi: Update Operations: A Review. ECAI 1998: 13-17

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Inform. 32(3-4): 281-297 (1997)

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig: Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116

Andreas Herzig: How to Change Factual Beliefs Using Laws and Dependence Information. ECSQARU-FAPR 1997: 311-321

Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67

Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig: Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150

Luis Fariñas del Cerro, Andreas Herzig: Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS 1996: 93-102

Andreas Herzig: The PMA Revisited. KR 1996: 40-50

Luis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207

Luis Fariñas del Cerro, Andreas Herzig: Belief Change and Dependence. TARK 1996: 147-161

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artif. Intell. 66(2): 375-393 (1994)

Philippe Balbiani, Andreas Herzig: A translation from the modal logic of provability into K4. Journal of Applied Non-Classical Logics 4(1): 73-77 (1994)

Luis Fariñas del Cerro, Andreas Herzig: Possibility Theory and Independence. IPMU 1994: 292-301

Olivier Gasquet, Andreas Herzig: Translation-Based Deduction Methods for Modal Logics. IPMU 1994: 399-408

Luis Fariñas del Cerro, Andreas Herzig: A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247

Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. UAI 1994: 195-203

Luis Fariñas del Cerro, Andreas Herzig: Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112

Olivier Gasquet, Andreas Herzig: Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU 1993: 145-150

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318

Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques: Implementing Prolog Extensions: a Parallel Inference Machine. FGCS 1992: 833-842

Luis Fariñas del Cerro, Andreas Herzig: Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25

Luis Fariñas del Cerro, Andreas Herzig: A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62

Luis Fariñas del Cerro, Andreas Herzig: A modal analysis of possibility theory. FAIR 1991: 11-18

Hans Jürgen Ohlbach, Andreas Herzig: Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517

Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques: TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382

Hans Jürgen Ohlbach, Andreas Herzig: Tutorial on Compilation techniques for Logics. CADE 1990: 683

Luis Fariñas del Cerro, Andreas Herzig: Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267

Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62

Luis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499

Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig: MOLOG: a Modal PROLOG. CADE 1988: 762-763

Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514