Stop the war!Остановите войну!
for scientists:
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
- 2023
[j59]Vaishak Belle, Thomas Bolander
, Andreas Herzig, Bernhard Nebel:
Epistemic planning: Perspectives on the special issue. Artif. Intell. 316: 103842 (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 - [e5]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] - [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 - [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]