The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Herzig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
    Modal tableaux based on graph-rules. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:37-42 [Conf]
  2. Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
    A Logic for Planning under Partial Observability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:768-773 [Conf]
  3. Olivier Gasquet, Andreas Herzig, Mohamad Sahade
    Terminating modal tableaux with simple completeness proof. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:167-186 [Conf]
  4. Andreas Herzig, Ivan José Varzinczak
    On the Modularity of Theories. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:93-109 [Conf]
  5. Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin
    OCC's Emotions: A Formalization in a BDI Logic. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2006, pp:24-32 [Conf]
  6. Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
    Belief Reconstruction in Cooperative Dialogues. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:254-266 [Conf]
  7. László Aszalós, Andreas Herzig
    A logic for semi-public communication in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:950-951 [Conf]
  8. Andreas Herzig, Dominique Longin
    A logic of intention with cooperation principles and with assertive speech acts as communication primitives. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:920-927 [Conf]
  9. Andreas Herzig, Nicolas Troquard
    Knowing how to play: uniform choices in logics of agency. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:209-216 [Conf]
  10. Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
    Modal Tableaux: Completeness vs. Termination. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:587-614 [Conf]
  11. Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
    MOLOG: a Modal PROLOG. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:762-763 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:453-458 [Conf]
  13. Luis Fariñas del Cerro, Andreas Herzig
    Linear Modal Deductions. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:487-499 [Conf]
  14. Hans Jürgen Ohlbach, Andreas Herzig
    Tutorial on Compilation techniques for Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:683- [Conf]
  15. Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre
    Inferring Trust. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:144-160 [Conf]
  16. Andreas Herzig
    On updates with integrity constraints. [Citation Graph (0, 0)][DBLP]
    Belief Change in Rational Agents, 2005, pp:- [Conf]
  17. Robert Demolombe, Andreas Herzig
    Obligation Change in Dependence Logic and Situation Calculus. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:57-73 [Conf]
  18. Luis Fariñas del Cerro, Andreas Herzig
    Deterministic Modal Logics for Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:262-267 [Conf]
  19. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
    From Ordering Based Nonmonotonic Reasoning to Conditional Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:314-318 [Conf]
  20. Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles
    A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:245-249 [Conf]
  21. Andreas Herzig, Dominique Longin
    Sensing and revision in a modal logic of belief and action. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:307-311 [Conf]
  22. Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
    Elaborating Domain Descriptions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:397-401 [Conf]
  23. Andreas Herzig, Omar Rifi
    Update Operations: A Review. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:13-17 [Conf]
  24. Andreas Herzig, Ivan José Varzinczak
    Domain Descriptions Should Be Modular. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:348-352 [Conf]
  25. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
    Modal Tableaux for Reasoning About Actions and Plans. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:104-116 [Conf]
  26. Luis Fariñas del Cerro, Andreas Herzig
    A Modal Analysis of Possibility Theory. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:58-62 [Conf]
  27. Luis Fariñas del Cerro, Andreas Herzig
    Interference Logic = Conditional Logic + Frame Axiom. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:105-112 [Conf]
  28. Andreas Herzig
    How to Change Factual Beliefs Using Laws and Dependence Information. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:311-321 [Conf]
  29. Andreas Herzig, Sébastien Konieczny, Laurent Perrussel
    On Iterated Revision in the AGM Framework. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:477-488 [Conf]
  30. Andreas Herzig, Dominique Longin
    On Modal Probability and Belief. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:62-73 [Conf]
  31. Olivier Gasquet, Andreas Herzig
    Translating Inaccessible Worlds Logic into Bimodal Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:145-150 [Conf]
  32. László Aszalós, Andreas Herzig
    Reasoning about Failure. [Citation Graph (0, 0)][DBLP]
    ESAW, 2001, pp:74-85 [Conf]
  33. Luis Fariñas del Cerro, Andreas Herzig
    A modal analysis of possibility theory. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:11-18 [Conf]
  34. Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
    Talkin'bout Consistency, or: When Logically Possible Becomes Possible. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:141-150 [Conf]
  35. Jean-Marc Alliot, Andreas Herzig, Mamede Lima Marques
    Implementing Prolog Extensions: a Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:833-842 [Conf]
  36. Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
    Declarative Semantics for Modal Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:507-514 [Conf]
  37. Luis Fariñas del Cerro, Andreas Herzig
    Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:93-102 [Conf]
  38. Andreas Herzig, Tiago De Lima
    Epistemic Actions and Ontic Actions: A Unified Logical Framework. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2006, pp:409-418 [Conf]
  39. Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
    Qualitative Relevance and Independence: A Roadmap. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:62-67 [Conf]
  40. Andreas Herzig, Jérôme Lang, Pierre Marquis
    Action representation and partially observable planning using epistemic logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1067-1072 [Conf]
  41. Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
    Updates, actions, and planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:119-124 [Conf]
  42. Andreas Herzig, Ivan José Varzinczak
    Cohesion, coupling and the meta-theory of actions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:442-447 [Conf]
  43. Hans Jürgen Ohlbach, Andreas Herzig
    Parameter Structures for Parametrized Modal Operators. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:512-517 [Conf]
  44. Olivier Gasquet, Andreas Herzig
    Translation-Based Deduction Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:399-408 [Conf]
  45. Luis Fariñas del Cerro, Andreas Herzig
    Possibility Theory and Independence. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:292-301 [Conf]
  46. Jan Broersen, Andreas Herzig, Nicolas Troquard
    A STIT-Extension of ATL. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:69-81 [Conf]
  47. Andreas Herzig, Ivan José Varzinczak
    A Modularity Approach for a Fragment of ALC. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:216-228 [Conf]
  48. Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi
    Introducing Attempt in a Modal Logic of Intentional Action. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:280-292 [Conf]
  49. Luis Fariñas del Cerro, Andreas Herzig
    A Conditional Logic for Updating in the Possible Models Approach. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:237-247 [Conf]
  50. Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
    Plan Generation by Linear Proofs: On Semantics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:49-62 [Conf]
  51. Benoit Gaudou, Andreas Herzig, Dominique Longin
    Grounding and the Expression of Belief. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:221-229 [Conf]
  52. Andreas Herzig
    The PMA Revisited. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:40-50 [Conf]
  53. Andreas Herzig, Dominique Longin
    C&L Intention Revisited. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:527-535 [Conf]
  54. Luis Fariñas del Cerro, Andreas Herzig
    Revisions, Updated, and Interference. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:189-207 [Conf]
  55. Luis Fariñas del Cerro, Andreas Herzig
    Metaprogramming Through Intensional Deduction: Some Examples. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:11-25 [Conf]
  56. Andreas Herzig, Ivan José Varzinczak
    Domain descriptions should be modular. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:204-211 [Conf]
  57. 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. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:343-348 [Conf]
  58. Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
    TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:366-382 [Conf]
  59. Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig
    Paraconsistent Reasoning for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ISWC-URSW, 2005, pp:104-105 [Conf]
  60. Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
    LoTREC: Logical Tableaux Research Engineering Companion. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:318-322 [Conf]
  61. Luis Fariñas del Cerro, Andreas Herzig
    Belief Change and Dependence. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:147-161 [Conf]
  62. Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
    An Ordinal View of Independence with Application to Plausible Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:195-203 [Conf]
  63. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
    From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:2, pp:375-393 [Journal]
  64. Andreas Herzig, Omar Rifi
    Propositional Belief Base Update and Minimal Change. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:115, n:1, pp:107-138 [Journal]
  65. Jan Broersen, Andreas Herzig, Nicolas Troquard
    From Coalition Logic to STIT. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:23-35 [Journal]
  66. Benoit Gaudou, Andreas Herzig, Dominique Longin
    A Logical Framework for Grounding-based Dialogue Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:117-137 [Journal]
  67. Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
    Modal Tableaux with Propagation Rules and Structural Rules. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:281-297 [Journal]
  68. Andreas Herzig
    Modal Probability, Belief, and Actions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:323-344 [Journal]
  69. Andreas Böhner, Georges Hauenstein, Andreas Herzig
    Euro-Umstellung bei der GfA. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1998, v:201, n:, pp:- [Journal]
  70. Philippe Balbiani, Andreas Herzig
    A translation from the modal logic of provability into K4. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1994, v:4, n:1, pp:- [Journal]
  71. Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
    Foreword. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:1, pp:7-8 [Journal]
  72. Robert Demolombe, Andreas Herzig, Ivan José Varzinczak
    Regression in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:2, pp:165-185 [Journal]
  73. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
    Formalizing Action and Change in Modal Logic I: the frame problem. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:5, pp:701-735 [Journal]
  74. Jan Broersen, Andreas Herzig, Nicolas Troquard
    Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:5, pp:559-578 [Journal]
  75. Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
    Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1070-0 [Conf]
  76. Guillaume Aucher, Andreas Herzig
    From DEL to EDL : Exploring the Power of Converse Events. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2007, pp:199-209 [Conf]
  77. Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
    A Tableau Method for Public Announcement Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:43-59 [Conf]
  78. Andreas Herzig, Ivan José Varzinczak
    Metatheory of actions: Beyond consistency. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:16-17, pp:951-984 [Journal]
  79. Philippe Balbiani, Andreas Herzig, Nicolas Troquard
    Alternative axiomatics and complexity of deliberative STIT theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  80. Andreas Herzig, Ivan José Varzinczak
    Metatheory of actions: beyond consistency [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  81. Properties of logics of individual and group agency. [Citation Graph (, )][DBLP]


  82. Delegation and mental states. [Citation Graph (, )][DBLP]


  83. Logical formalization of social commitments: application to agent communication languages. [Citation Graph (, )][DBLP]


  84. Introspective Forgetting. [Citation Graph (, )][DBLP]


  85. Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (, )][DBLP]


  86. Tableaux for Acceptance Logic. [Citation Graph (, )][DBLP]


  87. Unifying the Intentional and Institutional Semantics of Speech Acts. [Citation Graph (, )][DBLP]


  88. Prime Implicate-based Belief Revision Operators. [Citation Graph (, )][DBLP]


  89. Trust in complex actions. [Citation Graph (, )][DBLP]


  90. Trust Based Evaluation of Wikipedia's Contributors. [Citation Graph (, )][DBLP]


  91. A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP]


  92. A Logical Account of Lying. [Citation Graph (, )][DBLP]


  93. Uniform Interpolation by Resolution in Modal Logic. [Citation Graph (, )][DBLP]


  94. A normal simulation of coalition logic and an epistemic extension. [Citation Graph (, )][DBLP]


  95. What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP]


  96. A Protocol for Execution of Distributed Logic Programs. [Citation Graph (, )][DBLP]


  97. Prolegomena for a Logic of Trust and Reputation. [Citation Graph (, )][DBLP]


  98. Intentions and Assignments. [Citation Graph (, )][DBLP]


  99. Dynamic Context Logic. [Citation Graph (, )][DBLP]


  100. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. [Citation Graph (, )][DBLP]


  101. On the Dynamics of Institutional Agreements. [Citation Graph (, )][DBLP]


  102. A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP]


  103. Global and Local Graph Modifiers. [Citation Graph (, )][DBLP]


Search in 0.338secs, Finished in 0.341secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002