default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Herzig
Person information
- affiliation: IRIT, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c152]Thorsten Engesser, Andreas Herzig, Elise Perrotin:
Towards Epistemic-Doxastic Planning with Observation and Revision. AAAI 2024: 10501-10508- [c151]Andreas Herzig, Emiliano Lorini, Henri Prade:
A Novel View of Analogical Proportion Between Formulas. ECAI 2024: 1270-1277 - [i18]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. CoRR abs/2406.18930 (2024) - 2023
- [j60]Vaishak Belle, Thomas Bolander
, Andreas Herzig, Bernhard Nebel:
Epistemic planning: Perspectives on the special issue. Artif. Intell. 316: 103842 (2023) - [j59]Sylvie Doutre, Andreas Herzig, Anthony Hunter:
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. J. Appl. Non Class. Logics 33(3-4): 207-211 (2023) - [j58]Antonio Yuste-Ginel, Andreas Herzig:
Qualitative uncertainty and dynamics of argumentation through dynamic logic. J. Log. Comput. 33(2): 370-405 (2023) - [c150]Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini:
Counterfactual Reasoning via Grounded Distance. KR 2023: 2-11 - [e6]Andreas Herzig, Jieting Luo, Pere Pardo:
Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14156, Springer 2023, ISBN 978-3-031-40874-8 [contents] - [e5]Natasha Alechina, Andreas Herzig, Fei Liang:
Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings. Lecture Notes in Computer Science 14329, Springer 2023, ISBN 978-3-031-45557-5 [contents] - [i17]Antonio Yuste-Ginel, Andreas Herzig:
Qualitative uncertainty and dynamics of argumentation through dynamic logic. CoRR abs/2302.03305 (2023) - 2022
- [j57]Andreas Herzig, Juha Kontinen:
Preface. Ann. Math. Artif. Intell. 90(2-3): 145-147 (2022) - [j56]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL 30(1): 155-185 (2022) - [c149]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
Database Repair via Event-Condition-Action Rules in Dynamic Logic. FoIKS 2022: 75-92 - [c148]Andreas Herzig, Emiliano Lorini, Elise Perrotin:
A Computationally Grounded Logic of 'Seeing-to-it-that'. IJCAI 2022: 2648-2654 - 2021
- [j55]Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier:
A lightweight epistemic logic and its application to planning. Artif. Intell. 298: 103437 (2021) - [j54]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121: 100683 (2021) - [c147]Andreas Herzig, Antonio Yuste-Ginel:
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. CLAR 2021: 190-208 - [c146]Andreas Herzig, Antonio Yuste-Ginel:
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks. IJCAI 2021: 1922-1928 - [c145]Munyque Mittelmann, Andreas Herzig, Laurent Perrussel:
Epistemic Reasoning About Rationality and Bids in Auctions. JELIA 2021: 116-130 - [c144]Andreas Herzig, Frédéric Maris, Elise Perrotin:
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. KR 2021: 676-680 - [c143]Andreas Herzig, Antonio Yuste-Ginel:
On the Epistemic Logic of Incomplete Argumentation Frameworks. KR 2021: 681-685 - [i16]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource separation in dynamic logic of propositional assignments. CoRR abs/2104.14884 (2021) - 2020
- [j53]Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig:
Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282: 103249 (2020) - [c142]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016 - [c141]Andreas Herzig, Elise Perrotin:
On the Axiomatisation of Common Knowledge. AiML 2020: 309-328 - [c140]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. Description Logics 2020 - [c139]Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber:
A Logic of Explicit and Implicit Distributed Belief. ECAI 2020: 753-760 - [c138]Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier:
TouIST: a Friendly Language for Propositional Logic and More. IJCAI 2020: 5240-5242 - [c137]Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey:
Lightweight Parallel Multi-Agent Epistemic Planning. KR 2020: 274-283 - [c136]Esra Erdem, Andreas Herzig:
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach. ICLP Technical Communications 2020: 52-58 - [p5]Andreas Herzig, Philippe Besnard:
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 45-68 - [p4]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 487-518 - [e4]Andreas Herzig, Juha Kontinen:
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Lecture Notes in Computer Science 12012, Springer 2020, ISBN 978-3-030-39950-4 [contents]
2010 – 2019
- 2019
- [j52]Andreas Herzig, Emiliano Lorini, David Pearce:
Social Intelligence. AI Soc. 34(4): 689 (2019) - [j51]Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
The epistemic gossip problem. Discret. Math. 342(3): 654-663 (2019) - [j50]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
A Dynamic Logic Account of Active Integrity Constraints. Fundam. Informaticae 169(3): 179-210 (2019) - [c135]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini:
Stratified Evidence Logics. IJCAI 2019: 1523-1529 - [c134]Andreas Herzig, Frédéric Maris, Julien Vianey:
Dynamic logic of parallel propositional assignments and its applications to planning. IJCAI 2019: 5576-5582 - [c133]Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel:
The Dynamic Logic of Policies and Contingent Planning. JELIA 2019: 659-674 - [c132]Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource Separation in Dynamic Logic of Propositional Assignments. DaLí 2019: 155-170 - [e3]Andreas Herzig, Andrei Popescu:
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11715, Springer 2019, ISBN 978-3-030-29006-1 [contents] - [i15]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. CoRR abs/1911.12949 (2019) - 2018
- [j49]Arianna Novaro, Umberto Grandi, Andreas Herzig:
Judgment aggregation in dynamic logic of propositional assignments. J. Log. Comput. 28(7): 1471-1498 (2018) - [c131]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic 2018: 83-102 - [c130]Sylvie Doutre, Andreas Herzig, Laurent Perrussel:
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. CLAR 2018: 153-185 - [c129]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
A Dynamic Extension of ALCO for Repairing via Preferred Updates. Description Logics 2018 - [c128]Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey:
Temporal Epistemic Gossip Problems. EUMAS 2018: 1-14 - [i14]Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR abs/1808.05051 (2018) - 2017
- [j48]Andreas Herzig, Faustine Maffre:
How to share knowledge by gossiping. AI Commun. 30(1): 1-17 (2017) - [j47]Andreas Herzig, Emiliano Lorini, David Pearce:
Preface. J. Appl. Non Class. Logics 27(1-2): 90 (2017) - [j46]Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce:
A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27(3-4): 153-160 (2017) - [j45]Andreas Herzig:
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. J. Appl. Non Class. Logics 27(3-4): 328-341 (2017) - [j44]Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao:
BDI Logics for BDI Architectures: Old Problems, New Perspectives. Künstliche Intell. 31(1): 73-83 (2017) - [c127]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang:
Deciding Refinement Relation in Belief-Intention Databases. AI*IA 2017: 186-199 - [c126]Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig:
Repairing ABoxes through Active Integrity Constraints. Description Logics 2017 - [c125]Francesco Belardinelli, Andreas Herzig:
Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI 2017: 821-827 - [c124]Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang:
Strategically knowing how. IJCAI 2017: 1031-1038 - [c123]Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes:
Non-Determinism and the Dynamics of Knowledge. IJCAI 2017: 1053-1059 - [c122]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469 - [c121]Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel:
Relaxing Exclusive Control in Boolean Games. TARK 2017: 43-56 - [p3]Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini:
Computer-Mediated Trust in Self-interested Expert Recommendations. Cognition Beyond the Brain 2017: 233-250 - [i13]Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang:
Strategically knowing how. CoRR abs/1705.05254 (2017) - 2016
- [j43]Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber:
Announcements to Attentive Agents. J. Log. Lang. Inf. 25(1): 1-35 (2016) - [c120]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c119]Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
A Simple Account of Multi-Agent Epistemic Planning. ECAI 2016: 193-201 - [c118]Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
Simple Epistemic Planning: Generalised Gossiping. ECAI 2016: 1563-1564 - [c117]Francesco Belardinelli, Andreas Herzig:
On Logics of Strategic Ability Based on Propositional Control. IJCAI 2016: 95-101 - [c116]Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI 2016: 1116-1122 - [c115]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao:
On Hierarchical Task Networks. JELIA 2016: 551-557 - [c114]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang:
Refinement of Intentions. JELIA 2016: 558-563 - [c113]Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Building Epistemic Logic from Observations and Public Announcements. KR 2016: 268-277 - [i12]Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
Simple epistemic planning: generalised gossiping. CoRR abs/1606.03244 (2016) - 2015
- [j42]Andreas Herzig:
Logics of knowledge and action: critical analysis and challenges. Auton. Agents Multi Agent Syst. 29(5): 719-753 (2015) - [j41]Chiaki Sakama, Martin Caminada, Andreas Herzig:
A formal account of dishonesty. Log. J. IGPL 23(2): 259-294 (2015) - [j40]Andreas Herzig:
Letter from the Editor. J. Appl. Non Class. Logics 25(1): 1 (2015) - [c112]Andreas Herzig, Faustine Maffre:
How to Share Knowledge by Gossiping. EUMAS/AT 2015: 249-263 - [c111]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Epistemic Equilibrium Logic. IJCAI 2015: 2964-2970 - [c110]Andreas Herzig, Emiliano Lorini, Faustine Maffre:
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. LORI 2015: 156-168 - [p2]Jan M. Broersen, Andreas Herzig:
Using STIT Theory to Talk About Strategies. Models of Strategic Reasoning 2015: 137-173 - 2014
- [b1]Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber:
Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Studies in Universal Logic, Birkhäuser 2014, ISBN 978-3-7643-8503-3, pp. I-XV, 1-198 - [j39]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Capturing equilibrium models in modal logic. J. Appl. Log. 12(2): 192-207 (2014) - [c109]Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann:
On the revision of planning tasks. ECAI 2014: 435-440 - [c108]Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber:
Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS 2014: 381-398 - [c107]Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi:
Trust-based Personal Information Management in SOA. ICAART (1) 2014: 667-672 - [c106]Philippe Besnard, Sylvie Doutre, Andreas Herzig:
Encoding Argument Graphs in Logic. IPMU (2) 2014: 345-354 - [c105]Guillaume Feuillade, Andreas Herzig:
A Dynamic View of Active Integrity Constraints. JELIA 2014: 486-499 - [c104]Sylvie Doutre, Andreas Herzig, Laurent Perrussel:
A Dynamic Logic Framework for Abstract Argumentation. KR 2014 - [c103]Andreas Herzig:
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. KR 2014 - [e2]Andreas Herzig, Emiliano Lorini:
Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3-5, 2014. CEUR Workshop Proceedings 1283, CEUR-WS.org 2014 [contents] - [i11]Tiago de Lima, Andreas Herzig:
Tableaux for Dynamic Logic of Propositional Assignments. CoRR abs/1406.2161 (2014) - [i10]Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard:
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs/1411.7825 (2014) - 2013
- [j38]Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen:
Grounding power on actions and mental attitudes. Log. J. IGPL 21(3): 311-331 (2013) - [j37]Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang:
Introduction to the special issue. Int. J. Game Theory 42(3): 563-566 (2013) - [j36]Andreas Herzig, Jérôme Lang, Pierre Marquis:
Propositional Update Operators Based on Formula/Literal Dependence. ACM Trans. Comput. Log. 14(3): 24:1-24:31 (2013) - [c102]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS 2013: 143-152 - [c101]Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber:
Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI 2013: 96-109 - [c100]Andreas Herzig, Emiliano Lorini, Dirk Walther:
Reasoning about Actions Meets Strategic Logics. LORI 2013: 162-175 - [c99]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Combining Equilibrium Logic and Dynamic Logic. LPNMR 2013: 304-316 - [c98]Andreas Herzig:
A Simple Separation Logic. WoLLIC 2013: 168-178 - [i9]Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
An Ordinal View of Independence with Application to Plausible Reasoning. CoRR abs/1302.6803 (2013) - 2012
- [j35]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics 22(3): 249-273 (2012) - [j34]Luis Fariñas del Cerro, Andreas Herzig:
La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. 26(1-2): 85-102 (2012) - [c97]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Some Truths Are Best Left Unsaid. Advances in Modal Logic 2012: 36-54 - [c96]Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard:
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON 2012: 170-183 - [e1]Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin:
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7519, Springer 2012, ISBN 978-3-642-33352-1 [contents] - 2011
- [j33]Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek:
Foreword. J. Appl. Non Class. Logics 21(3-4): 263-264 (2011) - [j32]Andreas Herzig, Emiliano Lorini:
Editorial Introduction: Logical Methods for Social Concepts. J. Philos. Log. 40(4): 441-443 (2011) - [j31]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011) - [c95]Luis Fariñas del Cerro, Andreas Herzig:
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c94]Philippe 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 - [c93]Andreas Herzig, Emiliano Lorini, Nicolas Troquard:
A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311 - [c92]Luis Fariñas del Cerro, Andreas Herzig:
The Modal Logic of Equilibrium Models. FroCoS 2011: 135-146 - [c91]Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard:
A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233 - [c90]Luis Fariñas del Cerro, Andreas Herzig:
Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228 - [c89]Benoit 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 - 2010
- [j30]Jonathan 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) - [j29]Frank 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) - [j28]Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Laurent Vercouter:
A logic of trust and reputation. Log. J. IGPL 18(1): 214-244 (2010) - [j27]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 20(4): 311 (2010) - [j26]Andreas Herzig, Emiliano Lorini:
A Dynamic Logic of Agency I: STIT, Capabilities and Powers. J. Log. Lang. Inf. 19(1): 89-121 (2010) - [j25]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010) - [c88]Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini:
Trust in complex actions. ECAI 2010: 1037-1038 - [c87]Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74 - [c86]Chiaki Sakama, Martin Caminada, Andreas Herzig:
A Logical Account of Lying. JELIA 2010: 286-299 - [i8]Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Modal Logic for Termgraph Rewriting. CoRR abs/1003.4369 (2010)
2000 – 2009
- 2009
- [j24]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
What groups do, can do, and know they can do: an analysis in normal modal logics. J. Appl. Non Class. Logics 19(3): 261-290 (2009) - [j23]Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig:
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. J. Log. Comput. 19(6): 901-940 (2009) - [j22]Carole Adam, Andreas Herzig, Dominique Longin:
A logical formalization of the OCC theory of emotions. Synth. 168(2): 201-248 (2009) - [j21]Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Introspective forgetting. Synth. 169(2): 405-423 (2009) - [j20]Andreas Herzig, Tiago de Lima, Emiliano Lorini:
On the dynamics of institutional agreements. Synth. 171(2): 321-355 (2009) - [c85]Benoit Gaudou, Andreas Herzig, Dominique Longin:
Logical formalization of social commitments: application to agent communication languages. AAMAS (2) 2009: 1293-1294 - [c84]Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis:
Unifying the Intentional and Institutional Semantics of Speech Acts. DALT 2009: 68-84 - [c83]Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini:
Tableaux for Acceptance Logic. DALT 2009: 85-100 - [c82]Yann Krupa, Laurent Vercouter, Jomi Fred Hübner, Andreas Herzig:
Trust Based Evaluation of Wikipedia's Contributors. ESAW 2009: 148-161 - [c81]László Aszalós, Andreas Herzig:
A Protocol for Execution of Distributed Logic Programs. IDC 2009: 21-30 - [c80]Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic. LORI 2009: 15-26 - [c79]Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer:
Intentions and Assignments. LORI 2009: 198-211 - [c78]Emiliano Lorini, François Schwarzentruber, Andreas Herzig:
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI 2009: 212-226 - [i7]Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic and its Application to Norm. Normative Multi-Agent Systems 2009 - [i6]Nadine Guiraud, Andreas Herzig, Emiliano Lorini:
Speech acts as announcements. Information processing, rational belief change and social interaction 2009 - [i5]Emiliano Lorini, François Schwarzentruber, Andreas Herzig:
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Information processing, rational belief change and social interaction 2009 - 2008
- [j19]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philos. Log. 37(4): 387-406 (2008) - [j18]Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima:
'Knowable' as 'known after an announcement'. Rev. Symb. Log. 1(3): 305-334 (2008) - [j17]Andreas Herzig:
Book Reviews. Stud Logica 89(3): 441-445 (2008) - [j16]Emiliano Lorini, Andreas Herzig:
A logic of intention and attempt. Synth. 163(1): 45-77 (2008) - [c77]Andreas Herzig, François Schwarzentruber:
Properties of logics of individual and group agency. Advances in Modal Logic 2008: 133-149 - [c76]Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29 - [c75]Meghyn Bienvenu, Andreas Herzig, Guilin Qi:
Prime Implicate-based Belief Revision Operators. ECAI 2008: 741-742 - [c74]Andreas Herzig, Jérôme Mengin:
Uniform Interpolation by Resolution in Modal Logic. JELIA 2008: 219-231 - [c73]Andreas Herzig, Tiago de Lima, Emiliano Lorini:
On the Dynamics of Institutional Agreements. KRAMAS 2008: 66-80 - [c72]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 - 2007
- [j15]Andreas Herzig, Ivan José Varzinczak:
Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007) - [j14]Hans van Ditmarsch, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 17(2): 125-128 (2007) - [j13]Carole Adam, Andreas Herzig, Dominique Longin:
PLEIAD, un agent émotionnel pour évaluer la typologie OCC. Rev. d'Intelligence Artif. 21(5-6): 781-811 (2007) - [c71]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-1076 - [c70]Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi:
Delegation and mental states. AAMAS 2007: 153 - [c69]Guillaume Aucher, Andreas Herzig:
From DEL to EDL : Exploring the Power of Converse Events. ECSQARU 2007: 199-209 - [c68]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59 - [c67]Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima:
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51 - [c66]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101 - [c65]Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Global and Local Graph Modifiers. M4M 2007: 293-307 - [i4]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents 2007 - [i3]Philippe Balbiani, Andreas Herzig, Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories. CoRR abs/0704.3238 (2007) - 2006
- [j12]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006) - [c64]Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186 - [c63]Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin:
OCC's Emotions: A Formalization in a BDI Logic. AIMSA 2006: 24-32 - [c62]Andreas Herzig, Nicolas Troquard:
Knowing how to play: uniform choices in logics of agency. AAMAS 2006: 209-216 - [c61]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 - [c60]Andreas Herzig, Laurent Perrussel, Ivan Varzinczak:
Elaborating Domain Descriptions. ECAI 2006: 397-401 - [c59]Andreas Herzig, Tiago de Lima:
Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418 - [c58]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
A STIT-Extension of ATL. JELIA 2006: 69-81 - [c57]Andreas Herzig, Ivan Varzinczak:
A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228 - [c56]Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi:
Introducing Attempt in a Modal Logic of Intentional Action. JELIA 2006: 280-292 - [c55]Carole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin:
Modélisation logique d'agents rationnels pour l'intelligence ambiante. JFSMA 2006: 81-94 - [c54]Benoit Gaudou, Andreas Herzig, Dominique Longin:
Grounding and the Expression of Belief. KR 2006: 221-229 - [i2]Andreas Herzig, Ivan Varzinczak:
Metatheory of actions: beyond consistency. CoRR abs/cs/0603034 (2006) - 2005
- [c53]Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614 - [c52]Andreas Herzig, Ivan Varzinczak:
Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447 - [c51]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 - [c50]Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade:
LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322 - [c49]Jan M. Broersen, Andreas Herzig, Nicolas Troquard:
From Coalition Logic to STIT. LCMAS 2005: 23-35 - [c48]Benoit Gaudou, Andreas Herzig, Dominique Longin:
A Logical Framework for Grounding-based Dialogue Analysis. LCMAS 2005: 117-137 - [i1]Andreas Herzig:
On updates with integrity constraints. Belief Change in Rational Agents 2005 - 2004
- [c47]Andreas Herzig, Ivan José Varzinczak:
On the Modularity of Theories. Advances in Modal Logic 2004: 93-109 - [c46]Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre:
Inferring Trust. CLIMA 2004: 144-160 - [c45]Robert Demolombe, Andreas Herzig:
Obligation Change in Dependence Logic and Situation Calculus. DEON 2004: 57-73 - [c44]Andreas Herzig, Ivan José Varzinczak:
Domain Descriptions Should Be Modular. ECAI 2004: 348-352 - [c43]Andreas Herzig, Dominique Longin:
C&L Intention Revisited. KR 2004: 527-535 - [c42]Andreas Herzig, Ivan Varzinczak:
Domain descriptions should be modular. NMR 2004: 204-211 - 2003
- [j11]Andreas Herzig:
Modal Probability, Belief, and Actions. Fundam. Informaticae 57(2-4): 323-344 (2003) - [j10]Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 13(1): 7-8 (2003) - [j9]Robert Demolombe, Andreas Herzig, Ivan Varzinczak:
Regression in Modal Logic. J. Appl. Non Class. Logics 13(2): 165-185 (2003) - [c41]Andreas Herzig, Dominique Longin:
On Modal Probability and Belief. ECSQARU 2003: 62-73 - [c40]Andreas Herzig, Sébastien Konieczny, Laurent Perrussel:
On Iterated Revision in the AGM Framework. ECSQARU 2003: 477-488 - [c39]Andreas Herzig, Jérôme Lang, Pierre Marquis:
Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072 - 2002
- [c38]Andreas Herzig, Dominique Longin:
A logic of intention with cooperation principles and with assertive speech acts as communication primitives. AAMAS 2002: 920-927 - [c37]László Aszalós, Andreas Herzig:
A logic for semi-public communication in multi-agent systems. AAMAS 2002: 950-951 - [c36]Andreas Herzig, Dominique Longin:
Sensing and revision in a modal logic of belief and action. ECAI 2002: 307-311 - [c35]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
- [c34]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 - [c33]László Aszalós, Andreas Herzig:
Reasoning about Failure. ESAW 2001: 74-85 - [c32]Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - 2000
- [j8]Andreas Herzig, Dominique Longin:
Belief Dynamics in Cooperative Dialogues. J. Semant. 17(2): 91-115 (2000) - [c31]Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773 - [c30]Andreas Herzig, Jérôme Lang, Thomas Polacsek:
A modal logic for epistemic tests. ECAI 2000: 553-557
1990 – 1999
- 1999
- [j7]Andreas Herzig, Omar Rifi:
Propositional Belief Base Update and Minimal Change. Artif. Intell. 115(1): 107-138 (1999) - [j6]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
- [j5]Andreas Böhner, Georges Hauenstein, Andreas Herzig:
Euro-Umstellung bei der GfA. HMD Prax. Wirtsch. 201 (1998) - [c29]Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal tableaux based on graph-rules. RelMiCS 1998: 37-42 - [c28]Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi:
Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266 - [c27]Andreas Herzig, Omar Rifi:
Update Operations: A Review. ECAI 1998: 13-17 - 1997
- [j4]Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32(3-4): 281-297 (1997) - [c26]Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116 - [c25]Andreas Herzig:
How to Change Factual Beliefs Using Laws and Dependence Information. ECSQARU-FAPR 1997: 311-321 - [c24]Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67 - 1996
- [c23]Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig:
Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR 1996: 141-150 - [c22]Luis Fariñas del Cerro, Andreas Herzig:
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS 1996: 93-102 - [c21]Andreas Herzig:
The PMA Revisited. KR 1996: 40-50 - [c20]Luis Fariñas del Cerro, Andreas Herzig:
Belief Change and Dependence. TARK 1996: 147-161 - [p1]Luis Fariñas del Cerro, Andreas Herzig:
Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207 - 1994
- [j3]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) - [j2]Luis Fariñas del Cerro, Andreas Herzig:
Interference logic = conditional logic + frame axiom. Int. J. Intell. Syst. 9(1): 119-130 (1994) - [j1]Philippe Balbiani, Andreas Herzig:
A translation from the modal logic of provability into K4. J. Appl. Non Class. Logics 4(1): 73-77 (1994) - [c19]Luis Fariñas del Cerro, Andreas Herzig:
Possibility Theory and Independence. IPMU 1994: 292-301 - [c18]Olivier Gasquet, Andreas Herzig:
Translation-Based Deduction Methods for Modal Logics. IPMU 1994: 399-408 - [c17]Luis Fariñas del Cerro, Andreas Herzig:
A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247 - [c16]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 - 1993
- [c15]Luis Fariñas del Cerro, Andreas Herzig:
Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112 - [c14]Olivier Gasquet, Andreas Herzig:
Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU 1993: 145-150 - 1992
- [c13]Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang:
From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318 - [c12]Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques:
Implementing Prolog Extensions: a Parallel Inference Machine. FGCS 1992: 833-842 - [c11]Luis Fariñas del Cerro, Andreas Herzig:
Metaprogramming Through Intensional Deduction: Some Examples. META 1992: 11-25 - 1991
- [c10]Luis Fariñas del Cerro, Andreas Herzig:
A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62 - [c9]Luis Fariñas del Cerro, Andreas Herzig:
A modal analysis of possibility theory. FAIR 1991: 11-18 - [c8]Hans Jürgen Ohlbach, Andreas Herzig:
Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517 - [c7]Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques:
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382 - 1990
- [c6]Hans Jürgen Ohlbach, Andreas Herzig:
Tutorial on Compilation techniques for Logics. CADE 1990: 683 - [c5]Luis Fariñas del Cerro, Andreas Herzig:
Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267
1980 – 1989
- 1989
- [c4]Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig:
Plan Generation by Linear Proofs: On Semantics. GWAI 1989: 49-62 - 1988
- [c3]Luis Fariñas del Cerro, Andreas Herzig:
Linear Modal Deductions. CADE 1988: 487-499 - [c2]Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig:
MOLOG: a Modal PROLOG. CADE 1988: 762-763 - [c1]Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
