| 2009 |
|---|
| 94 | EE | 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) |
| 93 | EE | Carole Adam,
Andreas Herzig,
Dominique Longin:
A logical formalization of the OCC theory of emotions.
Synthese 168(2): 201-248 (2009) |
| 2008 |
|---|
| 92 | EE | Andreas Herzig,
François Schwarzentruber:
Properties of logics of individual and group agency.
Advances in Modal Logic 2008: 133-149 |
| 91 | EE | Hans P. van Ditmarsch,
Andreas Herzig,
Jérôme Lang,
Pierre Marquis:
Introspective Forgetting.
Australasian Conference on Artificial Intelligence 2008: 18-29 |
| 90 | EE | Meghyn Bienvenu,
Andreas Herzig,
Guilin Qi:
Prime Implicate-based Belief Revision Operators.
ECAI 2008: 741-742 |
| 89 | EE | Andreas 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 |
| 87 | EE | Andreas Herzig:
Book Reviews.
Studia Logica 89(3): 441-445 (2008) |
| 86 | EE | Emiliano 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- |
| 84 | EE | Emiliano Lorini,
Nicolas Troquard,
Andreas Herzig,
Cristiano Castelfranchi:
Delegation and mental states.
AAMAS 2007: 153 |
| 83 | EE | Guillaume Aucher,
Andreas Herzig:
From DEL to EDL : Exploring the Power of Converse Events.
ECSQARU 2007: 199-209 |
| 82 | EE | 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 |
| 81 | EE | Philippe Balbiani,
Hans P. van Ditmarsch,
Andreas Herzig,
Tiago De Lima:
A Tableau Method for Public Announcement Logics.
TABLEAUX 2007: 43-59 |
| 80 | EE | 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 |
| 79 | EE | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
A normal simulation of coalition logic and an epistemic extension.
TARK 2007: 92-101 |
| 78 | EE | Andreas Herzig,
Ivan José Varzinczak:
Metatheory of actions: Beyond consistency.
Artif. Intell. 171(16-17): 951-984 (2007) |
| 77 | EE | Philippe Balbiani,
Andreas Herzig,
Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories
CoRR abs/0704.3238: (2007) |
| 76 | EE | 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) |
| 2006 |
|---|
| 75 | EE | Andreas Herzig,
Nicolas Troquard:
Knowing how to play: uniform choices in logics of agency.
AAMAS 2006: 209-216 |
| 74 | EE | Carole Adam,
Benoit Gaudou,
Andreas Herzig,
Dominique Longin:
OCC's Emotions: A Formalization in a BDI Logic.
AIMSA 2006: 24-32 |
| 73 | EE | Olivier 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 |
| 70 | EE | Andreas Herzig,
Tiago De Lima:
Epistemic Actions and Ontic Actions: A Unified Logical Framework.
IBERAMIA-SBIA 2006: 409-418 |
| 69 | EE | Andreas Herzig,
Ivan José Varzinczak:
A Modularity Approach for a Fragment of ALC.
JELIA 2006: 216-228 |
| 68 | EE | Emiliano Lorini,
Andreas Herzig,
Cristiano Castelfranchi:
Introducing Attempt in a Modal Logic of Intentional Action.
JELIA 2006: 280-292 |
| 67 | EE | Jan 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 |
| 65 | EE | Andreas Herzig,
Ivan José Varzinczak:
Metatheory of actions: beyond consistency
CoRR abs/cs/0603034: (2006) |
| 64 | EE | Benoit Gaudou,
Andreas Herzig,
Dominique Longin:
A Logical Framework for Grounding-based Dialogue Analysis.
Electr. Notes Theor. Comput. Sci. 157(4): 117-137 (2006) |
| 63 | EE | Jan Broersen,
Andreas Herzig,
Nicolas Troquard:
From Coalition Logic to STIT.
Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006) |
| 62 | EE | 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) |
| 2005 |
|---|
| 61 | EE | Andreas Herzig:
On updates with integrity constraints.
Belief Change in Rational Agents 2005 |
| 60 | EE | Andreas 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 |
| 58 | EE | Olivier 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 |
|---|
| 56 | EE | Andreas Herzig,
Ivan José Varzinczak:
On the Modularity of Theories.
Advances in Modal Logic 2004: 93-109 |
| 55 | EE | Mehdi Dastani,
Andreas Herzig,
Joris Hulstijn,
Leendert W. N. van der Torre:
Inferring Trust.
CLIMA V 2004: 144-160 |
| 54 | EE | Robert 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 |
| 51 | EE | Andreas Herzig,
Ivan José Varzinczak:
Domain descriptions should be modular.
NMR 2004: 204-211 |
| 2003 |
|---|
| 50 | EE | Andreas Herzig,
Sébastien Konieczny,
Laurent Perrussel:
On Iterated Revision in the AGM Framework.
ECSQARU 2003: 477-488 |
| 49 | EE | Andreas 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 |
| 47 | EE | Andreas 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 |
|---|
| 44 | EE | Andreas Herzig,
Dominique Longin:
A logic of intention with cooperation principles and with assertive speech acts as communication primitives.
AAMAS 2002: 920-927 |
| 43 | EE | Lá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 |
|---|
| 40 | EE | Lá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 |
| 38 | EE | 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 |
| 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 |
|---|
| 36 | EE | Andreas Herzig,
Omar Rifi:
Propositional Belief Base Update and Minimal Change.
Artif. Intell. 115(1): 107-138 (1999) |
| 35 | EE | 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) |
| 1998 |
|---|
| 34 | EE | Luis 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 |
| 31 | EE | Andreas 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 |
| 18 | EE | 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 |
| 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 |
|---|
| 6 | | Hans 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 |
|---|
| 3 | | Luis Fariñas del Cerro,
Andreas Herzig:
Linear Modal Deductions.
CADE 1988: 487-499 |
| 2 | | Pierre 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 |
