dblp.uni-trier.dewww.uni-trier.de

Andreas Herzig Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
98EEBenoit Gaudou, Andreas Herzig, Dominique Longin: Logical formalization of social commitments: application to agent communication languages. AAMAS (2) 2009: 1293-1294
97EEGuillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini: Dynamic Context Logic. LORI 2009: 15-26
96EEEmiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
95EEEmiliano Lorini, François Schwarzentruber, Andreas Herzig: Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI 2009: 212-226
94EEGuillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)
93EECarole Adam, Andreas Herzig, Dominique Longin: A logical formalization of the OCC theory of emotions. Synthese 168(2): 201-248 (2009)
2008
92EEAndreas Herzig, François Schwarzentruber: Properties of logics of individual and group agency. Advances in Modal Logic 2008: 133-149
91EEHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
90EEMeghyn Bienvenu, Andreas Herzig, Guilin Qi: Prime Implicate-based Belief Revision Operators. ECAI 2008: 741-742
89EEAndreas Herzig, Jérôme Mengin: Uniform Interpolation by Resolution in Modal Logic. JELIA 2008: 219-231
88 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
87EEAndreas Herzig: Book Reviews. Studia Logica 89(3): 441-445 (2008)
86EEEmiliano Lorini, Andreas Herzig: A logic of intention and attempt. Synthese 163(1): 45-77 (2008)
2007
85 Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
84EEEmiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi: Delegation and mental states. AAMAS 2007: 153
83EEGuillaume Aucher, Andreas Herzig: From DEL to EDL : Exploring the Power of Converse Events. ECSQARU 2007: 199-209
82EEHans 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
81EEPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
80EEPhilippe 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
79EEJan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101
78EEAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007)
77EEPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories CoRR abs/0704.3238: (2007)
76EECarole Adam, Andreas Herzig, Dominique Longin: PLEIAD, un agent émotionnel pour évaluer la typologie OCC. Revue d'Intelligence Artificielle 21(5-6): 781-811 (2007)
2006
75EEAndreas Herzig, Nicolas Troquard: Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216
74EECarole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin: OCC's Emotions: A Formalization in a BDI Logic. AIMSA 2006: 24-32
73EEOlivier Gasquet, Andreas Herzig, Mohamad Sahade: Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186
72 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
71 Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. ECAI 2006: 397-401
70EEAndreas Herzig, Tiago De Lima: Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418
69EEAndreas Herzig, Ivan José Varzinczak: A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228
68EEEmiliano Lorini, Andreas Herzig, Cristiano Castelfranchi: Introducing Attempt in a Modal Logic of Intentional Action. JELIA 2006: 280-292
67EEJan Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81
66 Benoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. KR 2006: 221-229
65EEAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: beyond consistency CoRR abs/cs/0603034: (2006)
64EEBenoit Gaudou, Andreas Herzig, Dominique Longin: A Logical Framework for Grounding-based Dialogue Analysis. Electr. Notes Theor. Comput. Sci. 157(4): 117-137 (2006)
63EEJan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)
62EEJan Broersen, Andreas Herzig, Nicolas Troquard: Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006)
2005
61EEAndreas Herzig: On updates with integrity constraints. Belief Change in Rational Agents 2005
60EEAndreas Herzig, Ivan José Varzinczak: Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447
59 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
58EEOlivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade: LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322
57 Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614
2004
56EEAndreas Herzig, Ivan José Varzinczak: On the Modularity of Theories. Advances in Modal Logic 2004: 93-109
55EEMehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre: Inferring Trust. CLIMA V 2004: 144-160
54EERobert Demolombe, Andreas Herzig: Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73
53 Andreas Herzig, Ivan José Varzinczak: Domain Descriptions Should Be Modular. ECAI 2004: 348-352
52 Andreas Herzig, Dominique Longin: C&L Intention Revisited. KR 2004: 527-535
51EEAndreas Herzig, Ivan José Varzinczak: Domain descriptions should be modular. NMR 2004: 204-211
2003
50EEAndreas Herzig, Sébastien Konieczny, Laurent Perrussel: On Iterated Revision in the AGM Framework. ECSQARU 2003: 477-488
49EEAndreas Herzig, Dominique Longin: On Modal Probability and Belief. ECSQARU 2003: 62-73
48 Andreas Herzig, Jérôme Lang, Pierre Marquis: Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072
47EEAndreas Herzig: Modal Probability, Belief, and Actions. Fundam. Inform. 57(2-4): 323-344 (2003)
46 Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)
45 Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)
2002
44EEAndreas Herzig, Dominique Longin: A logic of intention with cooperation principles and with assertive speech acts as communication primitives. AAMAS 2002: 920-927
43EELászló Aszalós, Andreas Herzig: A logic for semi-public communication in multi-agent systems. AAMAS 2002: 950-951
42 Andreas Herzig, Dominique Longin: Sensing and revision in a modal logic of belief and action. ECAI 2002: 307-311
41 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
2001
40EELászló Aszalós, Andreas Herzig: Reasoning about Failure. ESAW 2001: 74-85
39 Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek: Updates, actions, and planning. IJCAI 2001: 119-124
38EELuis 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
2000
37 Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek: A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773
1999
36EEAndreas Herzig, Omar Rifi: Propositional Belief Base Update and Minimal Change. Artif. Intell. 115(1): 107-138 (1999)
35EEMarcos 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)
1998
34EELuis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266
33 Andreas Herzig, Omar Rifi: Update Operations: A Review. ECAI 1998: 13-17
32 Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal tableaux based on graph-rules. RelMiCS 1998: 37-42
31EEAndreas Böhner, Georges Hauenstein, Andreas Herzig: Euro-Umstellung bei der GfA. HMD - Praxis Wirtschaftsinform. 201: (1998)
1997
30 Marcos A. Castilho, Olivier Gasquet, Andreas Herzig: Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116
29 Andreas Herzig: How to Change Factual Beliefs Using Laws and Dependence Information. ECSQARU-FAPR 1997: 311-321
28 Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67
27 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)
1996
26 Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig: Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150
25 Luis Fariñas del Cerro, Andreas Herzig: Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. Frontiers of Combining Systems (FroCos) 1996: 93-102
24 Andreas Herzig: The PMA Revisited. KR 1996: 40-50
23 Luis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207
22 Luis Fariñas del Cerro, Andreas Herzig: Belief Change and Dependence. TARK 1996: 147-161
1994
21 Luis Fariñas del Cerro, Andreas Herzig: Possibility Theory and Independence. IPMU 1994: 292-301
20 Olivier Gasquet, Andreas Herzig: Translation-Based Deduction Methods for Modal Logics. IPMU 1994: 399-408
19 Luis Fariñas del Cerro, Andreas Herzig: A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247
18EEDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. UAI 1994: 195-203
17 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)
16 Philippe Balbiani, Andreas Herzig: A translation from the modal logic of provability into K4. Journal of Applied Non-Classical Logics 4(1): (1994)
1993
15 Luis Fariñas del Cerro, Andreas Herzig: Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112
14 Olivier Gasquet, Andreas Herzig: Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU 1993: 145-150
1992
13 Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318
12 Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques: Implementing Prolog Extensions: a Parallel Inference Machine. FGCS 1992: 833-842
11 Luis Fariñas del Cerro, Andreas Herzig: Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25
1991
10 Luis Fariñas del Cerro, Andreas Herzig: A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62
9 Luis Fariñas del Cerro, Andreas Herzig: A modal analysis of possibility theory. FAIR 1991: 11-18
8 Hans Jürgen Ohlbach, Andreas Herzig: Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517
7 Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques: TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382
1990
6EEHans Jürgen Ohlbach, Andreas Herzig: Tutorial on Compilation techniques for Logics. CADE 1990: 683
5 Luis Fariñas del Cerro, Andreas Herzig: Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267
1989
4 Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62
1988
3EELuis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499
2EEPierre Bieber, Luis Fariñas del Cerro, Andreas Herzig: MOLOG: a Modal PROLOG. CADE 1988: 762-763
1 Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514

Coauthor Index

1Carole Adam [74] [76] [93]
2Jean-Marc Alliot [12]
3László Aszalós [40] [43]
4Guillaume Aucher [83] [94] [97]
5Philippe Balbiani [1] [7] [16] [46] [77] [80] [81] [94]
6Alexandru Baltag [80]
7Jonathan Ben-Naim [88]
8Philippe Besnard [59]
9Wolfgang Bibel [4]
10Pierre Bieber [2]
11Meghyn Bienvenu [90]
12Andreas Böhner [31]
13Jan Broersen [62] [63] [67] [79]
14François Bry (François Bry-Haußer) [59]
15Cristiano Castelfranchi [68] [84] [88]
16Marcos A. Castilho [27] [30] [32] [35] [41]
17Luis Fariñas del Cerro [1] [2] [3] [4] [5] [9] [10] [11] [13] [15] [17] [18] [19] [21] [22] [23] [25] [26] [27] [28] [32] [34] [38] [46] [57] [94]
18Mehdi Dastani [55] [96]
19Hendrik Decker [59]
20Stefan Decker [59]
21Antonio Frias Delgado [26]
22Robert Demolombe [45] [54] [88]
23Hans P. van Ditmarsch [80] [81] [82] [85] [91] [96]
24Didier Dubois [18] [28]
25Carlos F. Enguix [59]
26David Fauthoux [38]
27Bertram Fronhöfer [4]
28Olivier Gasquet [14] [20] [27] [30] [32] [35] [38] [57] [58] [73]
29Benoit Gaudou [64] [66] [72] [74] [98]
30Davide Grossi [97]
31Georges Hauenstein [31]
32T. Hoshi [80]
33Jomi Fred Hübner [88]
34Joris Hulstijn [55]
35Sébastien Konieczny [50]
36Jérôme Lang [13] [17] [37] [39] [48] [91]
37Tiago De Lima [70] [80] [81] [82] [85]
38Mamede Lima-Marques [7] [12]
39Dominique Longin [34] [37] [38] [42] [44] [49] [52] [58] [64] [66] [72] [74] [76] [88] [93] [98]
40Emiliano Lorini [68] [84] [86] [88] [95] [96] [97]
41Pierre Marquis [39] [48] [91]
42Fabio Massacci [38]
43Jérôme Mengin [89]
44John-Jules Ch. Meyer [96]
45Matthias Nickles [72]
46Hans Jürgen Ohlbach [6] [8]
47Laurent Perrussel [50] [71]
48Thomas Polacsek [37] [39]
49Henri Prade [18] [28]
50Guilin Qi [90]
51Omar Rifi [33] [34] [36]
52Mohamad Sahade [57] [58] [73]
53Sebastian Schaffert [59]
54François Schwarzentruber [92] [95]
55Leendert W. N. van der Torre (Leendert van der Torre) [55]
56Nicolas Troquard [62] [63] [67] [75] [77] [79] [84]
57Ivan José Varzinczak [41] [45] [51] [53] [56] [60] [65] [69] [71] [78]
58Laurent Vercouter [88]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)