Search the dblp DataBase
Andreas Herzig :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] Andreas Herzig , Ivan José Varzinczak On the Modularity of Theories. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:93-109 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Pierre Bieber , Luis Fariñas del Cerro , Andreas Herzig MOLOG: a Modal PROLOG. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:762-763 [Conf ] 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 ] Luis Fariñas del Cerro , Andreas Herzig Linear Modal Deductions. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:487-499 [Conf ] Hans Jürgen Ohlbach , Andreas Herzig Tutorial on Compilation techniques for Logics. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:683- [Conf ] 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 ] Andreas Herzig On updates with integrity constraints. [Citation Graph (0, 0)][DBLP ] Belief Change in Rational Agents, 2005, pp:- [Conf ] Robert Demolombe , Andreas Herzig Obligation Change in Dependence Logic and Situation Calculus. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:57-73 [Conf ] Luis Fariñas del Cerro , Andreas Herzig Deterministic Modal Logics for Automated Deduction. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:262-267 [Conf ] 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 ] 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 ] 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 ] Andreas Herzig , Laurent Perrussel , Ivan José Varzinczak Elaborating Domain Descriptions. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:397-401 [Conf ] Andreas Herzig , Omar Rifi Update Operations: A Review. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:13-17 [Conf ] Andreas Herzig , Ivan José Varzinczak Domain Descriptions Should Be Modular. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:348-352 [Conf ] 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 ] Luis Fariñas del Cerro , Andreas Herzig A Modal Analysis of Possibility Theory. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1991, pp:58-62 [Conf ] Luis Fariñas del Cerro , Andreas Herzig Interference Logic = Conditional Logic + Frame Axiom. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1993, pp:105-112 [Conf ] Andreas Herzig How to Change Factual Beliefs Using Laws and Dependence Information. [Citation Graph (0, 0)][DBLP ] ECSQARU-FAPR, 1997, pp:311-321 [Conf ] 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 ] Andreas Herzig , Dominique Longin On Modal Probability and Belief. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2003, pp:62-73 [Conf ] Olivier Gasquet , Andreas Herzig Translating Inaccessible Worlds Logic into Bimodal Logic. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1993, pp:145-150 [Conf ] László Aszalós , Andreas Herzig Reasoning about Failure. [Citation Graph (0, 0)][DBLP ] ESAW, 2001, pp:74-85 [Conf ] Luis Fariñas del Cerro , Andreas Herzig A modal analysis of possibility theory. [Citation Graph (0, 0)][DBLP ] FAIR, 1991, pp:11-18 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Andreas Herzig , Ivan José Varzinczak Cohesion, coupling and the meta-theory of actions. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:442-447 [Conf ] Hans Jürgen Ohlbach , Andreas Herzig Parameter Structures for Parametrized Modal Operators. [Citation Graph (0, 0)][DBLP ] IJCAI, 1991, pp:512-517 [Conf ] Olivier Gasquet , Andreas Herzig Translation-Based Deduction Methods for Modal Logics. [Citation Graph (0, 0)][DBLP ] IPMU, 1994, pp:399-408 [Conf ] Luis Fariñas del Cerro , Andreas Herzig Possibility Theory and Independence. [Citation Graph (0, 0)][DBLP ] IPMU, 1994, pp:292-301 [Conf ] Jan Broersen , Andreas Herzig , Nicolas Troquard A STIT-Extension of ATL. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:69-81 [Conf ] Andreas Herzig , Ivan José Varzinczak A Modularity Approach for a Fragment of ALC . [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:216-228 [Conf ] 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 ] 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 ] 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 ] Benoit Gaudou , Andreas Herzig , Dominique Longin Grounding and the Expression of Belief. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:221-229 [Conf ] Andreas Herzig The PMA Revisited. [Citation Graph (0, 0)][DBLP ] KR, 1996, pp:40-50 [Conf ] Andreas Herzig , Dominique Longin C&L Intention Revisited. [Citation Graph (0, 0)][DBLP ] KR, 2004, pp:527-535 [Conf ] 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 ] Luis Fariñas del Cerro , Andreas Herzig Metaprogramming Through Intensional Deduction: Some Examples. [Citation Graph (0, 0)][DBLP ] META, 1992, pp:11-25 [Conf ] Andreas Herzig , Ivan José Varzinczak Domain descriptions should be modular. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:204-211 [Conf ] 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 ] 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 ] 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 ] 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 ] Luis Fariñas del Cerro , Andreas Herzig Belief Change and Dependence. [Citation Graph (0, 0)][DBLP ] TARK, 1996, pp:147-161 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Andreas Herzig Modal Probability, Belief, and Actions. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:57, n:2-4, pp:323-344 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Andreas Herzig , Ivan José Varzinczak Metatheory of actions: beyond consistency [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Properties of logics of individual and group agency. [Citation Graph (, )][DBLP ] Delegation and mental states. [Citation Graph (, )][DBLP ] Logical formalization of social commitments: application to agent communication languages. [Citation Graph (, )][DBLP ] Introspective Forgetting. [Citation Graph (, )][DBLP ] Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (, )][DBLP ] Tableaux for Acceptance Logic. [Citation Graph (, )][DBLP ] Unifying the Intentional and Institutional Semantics of Speech Acts. [Citation Graph (, )][DBLP ] Prime Implicate-based Belief Revision Operators. [Citation Graph (, )][DBLP ] Trust in complex actions. [Citation Graph (, )][DBLP ] Trust Based Evaluation of Wikipedia's Contributors. [Citation Graph (, )][DBLP ] A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP ] A Logical Account of Lying. [Citation Graph (, )][DBLP ] Uniform Interpolation by Resolution in Modal Logic. [Citation Graph (, )][DBLP ] A normal simulation of coalition logic and an epistemic extension. [Citation Graph (, )][DBLP ] What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP ] A Protocol for Execution of Distributed Logic Programs. [Citation Graph (, )][DBLP ] Prolegomena for a Logic of Trust and Reputation. [Citation Graph (, )][DBLP ] Intentions and Assignments. [Citation Graph (, )][DBLP ] Dynamic Context Logic. [Citation Graph (, )][DBLP ] Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. [Citation Graph (, )][DBLP ] On the Dynamics of Institutional Agreements. [Citation Graph (, )][DBLP ] A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP ] Global and Local Graph Modifiers. [Citation Graph (, )][DBLP ] Search in 0.094secs, Finished in 0.102secs