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

Andreas Herzig Home Page Coauthor index pubzone.org

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

DBLP keys2012
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: La logique modale des modèles d'équilibre. Revue d'Intelligence Artificielle 26(1-2): 85-102 (2012)
2011
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini, Nicolas Troquard: A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: The Modal Logic of Equilibrium Models. FroCos 2011: 135-146
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini: Editorial Introduction: Logical Methods for Social Concepts. J. Philosophical Logic 40(4): 441-443 (2011)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek: Foreword. Journal of Applied Non-Classical Logics 21(3-4): 263-264 (2011)
2010
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini: Trust in complex actions. ECAI 2010: 1037-1038
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Rachid Echahed, Andreas Herzig: A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiaki Sakama, Martin Caminada, Andreas Herzig: A Logical Account of Lying. JELIA 2010: 286-299
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan 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)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Rachid Echahed, Andreas Herzig: A Modal Logic for Termgraph Rewriting CoRR abs/1003.4369: (2010)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 20(4): 311 (2010)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Emiliano Lorini: A Dynamic Logic of Agency I: STIT, Capabilities and Powers. Journal of Logic, Language and Information 19(1): 89-121 (2010)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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)
2009
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Gaudou, Andreas Herzig, Dominique Longin: Logical formalization of social commitments: application to agent communication languages. AAMAS (2) 2009: 1293-1294
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole Adam, Andreas Herzig, Dominique Longin, Vincent Louis: Unifying the Intentional and Institutional Semantics of Speech Acts. DALT 2009: 68-84
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini: Tableaux for Acceptance Logic. DALT 2009: 85-100
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYann Krupa, Laurent Vercouter, Jomi Fred Hübner, Andreas Herzig: Trust Based Evaluation of Wikipedia's Contributors. ESAW 2009: 148-161
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLászló Aszalós, Andreas Herzig: A Protocol for Execution of Distributed Logic Programs. IDC 2009: 21-30
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini: Dynamic Context Logic. LORI 2009: 15-26
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, François Schwarzentruber, Andreas Herzig: Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI 2009: 212-226
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig: The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. J. Log. Comput. 19(6): 901-940 (2009)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole Adam, Andreas Herzig, Dominique Longin: A logical formalization of the OCC theory of emotions. Synthese 168(2): 201-248 (2009)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective forgetting. Synthese 169(2): 405-423 (2009)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Tiago De Lima, Emiliano Lorini: On the dynamics of institutional agreements. Synthese 171(2): 321-355 (2009)
2008
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, François Schwarzentruber: Properties of logics of individual and group agency. Advances in Modal Logic 2008: 133-149
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMeghyn Bienvenu, Andreas Herzig, Guilin Qi: Prime Implicate-based Belief Revision Operators. ECAI 2008: 741-742
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Jérôme Mengin: Uniform Interpolation by Resolution in Modal Logic. JELIA 2008: 219-231
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Tiago De Lima, Emiliano Lorini: On the Dynamics of Institutional Agreements. KRAMAS 2008: 66-80
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig: Book Reviews. Studia Logica 89(3): 441-445 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Andreas Herzig: A logic of intention and attempt. Synthese 163(1): 45-77 (2008)
2007
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi: Delegation and mental states. AAMAS 2007: 153
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Aucher, Andreas Herzig: From DEL to EDL : Exploring the Power of Converse Events. ECSQARU 2007: 199-209
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories CoRR abs/0704.3238: (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 17(2): 125-128 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole 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
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Nicolas Troquard: Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin: OCC's Emotions: A Formalization in a BDI Logic. AIMSA 2006: 24-32
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Gasquet, Andreas Herzig, Mohamad Sahade: Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles: A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. ECAI 2006: 245-249
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. ECAI 2006: 397-401
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Tiago De Lima: Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Andreas Herzig, Cristiano Castelfranchi: Introducing Attempt in a Modal Logic of Intentional Action. JELIA 2006: 280-292
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin: Modélisation logique d'agents rationnels pour l'intelligence ambiante. JFSMA 2006: 81-94
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. KR 2006: 221-229
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: beyond consistency CoRR abs/cs/0603034: (2006)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Gaudou, Andreas Herzig, Dominique Longin: A Logical Framework for Grounding-based Dialogue Analysis. Electr. Notes Theor. Comput. Sci. 157(4): 117-137 (2006)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig: On updates with integrity constraints. Belief Change in Rational Agents 2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade: LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614
2004
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: On the Modularity of Theories. Advances in Modal Logic 2004: 93-109
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre: Inferring Trust. CLIMA 2004: 144-160
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Andreas Herzig: Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: Domain Descriptions Should Be Modular. ECAI 2004: 348-352
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Dominique Longin: C&L Intention Revisited. KR 2004: 527-535
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Ivan José Varzinczak: Domain descriptions should be modular. NMR 2004: 204-211
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Sébastien Konieczny, Laurent Perrussel: On Iterated Revision in the AGM Framework. ECSQARU 2003: 477-488
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Dominique Longin: On Modal Probability and Belief. ECSQARU 2003: 62-73
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Jérôme Lang, Pierre Marquis: Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig: Modal Probability, Belief, and Actions. Fundam. Inform. 57(2-4): 323-344 (2003)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Dominique Longin: A logic of intention with cooperation principles and with assertive speech acts as communication primitives. AAMAS 2002: 920-927
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLászló Aszalós, Andreas Herzig: A logic for semi-public communication in multi-agent systems. AAMAS 2002: 950-951
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Dominique Longin: Sensing and revision in a modal logic of belief and action. ECAI 2002: 307-311
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLászló Aszalós, Andreas Herzig: Reasoning about Failure. ESAW 2001: 74-85
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek: Updates, actions, and planning. IJCAI 2001: 119-124
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek: A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773
1999
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Omar Rifi: Propositional Belief Base Update and Minimal Change. Artif. Intell. 115(1): 107-138 (1999)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig, Omar Rifi: Update Operations: A Review. ECAI 1998: 13-17
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal tableaux based on graph-rules. RelMiCS 1998: 37-42
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Böhner, Georges Hauenstein, Andreas Herzig: Euro-Umstellung bei der GfA. HMD - Praxis Wirtschaftsinform. 201: (1998)
1997
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos A. Castilho, Olivier Gasquet, Andreas Herzig: Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig: How to Change Factual Beliefs Using Laws and Dependence Information. ECSQARU-FAPR 1997: 311-321
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig: Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Herzig: The PMA Revisited. KR 1996: 40-50
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Belief Change and Dependence. TARK 1996: 147-161
1994
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Possibility Theory and Independence. IPMU 1994: 292-301
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Gasquet, Andreas Herzig: Translation-Based Deduction Methods for Modal Logics. IPMU 1994: 399-408
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. UAI 1994: 195-203
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig: A translation from the modal logic of provability into K4. Journal of Applied Non-Classical Logics 4(1): (1994)
1993
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Gasquet, Andreas Herzig: Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU 1993: 145-150
1992
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques: Implementing Prolog Extensions: a Parallel Inference Machine. FGCS 1992: 833-842
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25
1991
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: A modal analysis of possibility theory. FAIR 1991: 11-18
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Andreas Herzig: Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Andreas Herzig, Mamede Lima-Marques: TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382
1990
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Andreas Herzig: Tutorial on Compilation techniques for Logics. CADE 1990: 683
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267
1989
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Luis Fariñas del Cerro, Andreas Herzig: MOLOG: a Modal PROLOG. CADE 1988: 762-763
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514

Coauthor Index

1Carole Adam [67] [75] [77] [99] [109]
2Jean-Marc Alliot [12]
3László Aszalós [40] [43] [106]
4Guillaume Aucher [85] [102] [105]
5Philippe Balbiani [1] [7] [16] [46] [79] [82] [83] [90] [102] [113] [114] [115] [119] [129]
6Alexandru Baltag [82]
7Jonathan Ben-Naim [91] [117]
8Philippe Besnard [59]
9Wolfgang Bibel [4]
10Pierre Bieber [2]
11Meghyn Bienvenu [94]
12Mathijs de Boer [108]
13Andreas Böhner [31]
14Giacomo Bonanno [121]
15Jean-François Bonnefon [117]
16Julien Bourdon [120]
17Jan Broersen [62] [63] [68] [81] [100]
18François Bry (François Bry-Haußer) [59]
19Martin Caminada [118]
20Cristiano Castelfranchi [69] [86] [91]
21Marcos A. Castilho [27] [30] [32] [35] [41]
22Luis 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] [102] [113] [125] [127] [130] [131]
23Mehdi Dastani [55] [104]
24Hendrik Decker [59]
25Stefan Decker [59]
26Antonio Frias Delgado [26]
27Robert Demolombe [45] [54] [91]
28Hans P. van Ditmarsch [78] [82] [83] [84] [87] [95] [98] [104] [114] [123]
29Didier Dubois [18] [28]
30Rachid Echahed [115] [119]
31Carlos F. Enguix [59]
32Fabrice Evrard [67]
33David Fauthoux [38]
34Guillaume Feuillade [120]
35Bertram Fronhöfer [4]
36Olivier Gasquet [14] [20] [27] [30] [32] [35] [38] [57] [58] [74]
37Benoit Gaudou [64] [66] [67] [73] [75] [101] [110] [124]
38Davide Grossi [105]
39Nadine Guiraud [129]
40Frank van Harmelen [116]
41Georges Hauenstein [31]
42Pascal Hitzler [116]
43Wiebe van der Hoek [121]
44T. Hoshi [82]
45Jomi Fred Hübner (Jomi Hübner) [91] [107] [111]
46Joris Hulstijn [55]
47Sébastien Konieczny [50]
48Yann Krupa [107]
49Jérôme Lang [13] [17] [37] [39] [48] [95] [98] [121]
50Sylvie Leblois [117]
51Tiago De Lima [71] [82] [83] [84] [87] [92] [97] [108] [114] [123]
52Mamede Lima-Marques [7] [12]
53Dominique Longin [34] [37] [38] [42] [44] [49] [52] [58] [64] [66] [67] [73] [75] [77] [91] [99] [101] [109] [110]
54Emiliano Lorini [69] [86] [88] [91] [92] [97] [101] [103] [104] [105] [108] [111] [112] [117] [120] [122] [124] [126] [128] [129]
55Vincent Louis [109]
56Pierre Marquis [39] [48] [95] [98]
57Fabio Massacci [38]
58Jérôme Mengin [93]
59John-Jules Ch. Meyer [104]
60Frédéric Moisan [126]
61Matthias Nickles [73]
62Hans Jürgen Ohlbach [6] [8]
63Laurent Perrussel [50] [72]
64Thomas Polacsek [37] [39]
65Henri Prade [18] [28]
66Guilin Qi [94] [116]
67Omar Rifi [33] [34] [36]
68Mohamad Sahade [57] [58] [74]
69Chiaki Sakama [118]
70Sebastian Schaffert [59]
71François Schwarzentruber [96] [103]
72Christophe Sibertin-Blanc [124]
73Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [55]
74Nicolas Troquard [62] [63] [68] [76] [79] [81] [86] [90] [100] [126] [128]
75Ivan José Varzinczak [41] [45] [51] [53] [56] [60] [65] [70] [72] [80]
76Laurent Vercouter [91] [107] [111]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page