


Остановите войну!
for scientists:


default search action
Andreas 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
- 2022
- [j58]Andreas Herzig
, Juha Kontinen
:
Preface. Ann. Math. Artif. Intell. 90(2-3): 145-147 (2022) - [j57]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) - [c148]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
Database Repair via Event-Condition-Action Rules in Dynamic Logic. FoIKS 2022: 75-92 - [c147]Andreas Herzig, Emiliano Lorini, Elise Perrotin:
A Computationally Grounded Logic of 'Seeing-to-it-that'. IJCAI 2022: 2648-2654 - 2021
- [j56]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) - [j55]Joseph Boudou
, Andreas Herzig
, Nicolas Troquard
:
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121: 100683 (2021) - [c146]Andreas Herzig
, Antonio Yuste-Ginel
:
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. CLAR 2021: 190-208 - [c145]Andreas Herzig, Antonio Yuste-Ginel
:
Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks. IJCAI 2021: 1922-1928 - [c144]Munyque Mittelmann, Andreas Herzig, Laurent Perrussel:
Epistemic Reasoning About Rationality and Bids in Auctions. JELIA 2021: 116-130 - [c143]Andreas Herzig, Frédéric Maris, Elise Perrotin:
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. KR 2021: 676-680 - [c142]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
- [j54]Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig:
Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282: 103249 (2020) - [c141]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 - [c140]Andreas Herzig, Elise Perrotin:
On the Axiomatisation of Common Knowledge. AiML 2020: 309-328 - [c139]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. Description Logics 2020 - [c138]Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber:
A Logic of Explicit and Implicit Distributed Belief. ECAI 2020: 753-760 - [c137]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 - [c136]Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey:
Lightweight Parallel Multi-Agent Epistemic Planning. KR 2020: 274-283 - [c135]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
- [j53]Andreas Herzig, Emiliano Lorini, David Pearce:
Social Intelligence. AI Soc. 34(4): 689 (2019) - [j52]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) - [j51]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
A Dynamic Logic Account of Active Integrity Constraints. Fundam. Informaticae 169(3): 179-210 (2019) - [c134]Philippe Balbiani
, David Fernández-Duque, Andreas Herzig, Emiliano Lorini:
Stratified Evidence Logics. IJCAI 2019: 1523-1529 - [c133]Andreas Herzig, Frédéric Maris, Julien Vianey:
Dynamic logic of parallel propositional assignments and its applications to planning. IJCAI 2019: 5576-5582 - [c132]Thomas Bolander
, Thorsten Engesser
, Andreas Herzig
, Robert Mattmüller
, Bernhard Nebel
:
The Dynamic Logic of Policies and Contingent Planning. JELIA 2019: 659-674 - [c131]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
- [j50]Arianna Novaro, Umberto Grandi, Andreas Herzig:
Judgment aggregation in dynamic logic of propositional assignments. J. Log. Comput. 28(7): 1471-1498 (2018) - [c130]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 - [c129]Sylvie Doutre
, Andreas Herzig, Laurent Perrussel:
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. CLAR 2018: 153-185 - [c128]Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
A Dynamic Extension of ALCO for Repairing via Preferred Updates. Description Logics 2018 - [c127]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
- [j49]Andreas Herzig, Faustine Maffre:
How to share knowledge by gossiping. AI Commun. 30(1): 1-17 (2017) - [j48]Andreas Herzig, Emiliano Lorini, David Pearce:
Preface. J. Appl. Non Class. Logics 27(1-2): 90 (2017) - [j47]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) - [j46]Andreas Herzig
:
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. J. Appl. Non Class. Logics 27(3-4): 328-341 (2017) - [j45]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) - [c126]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang:
Deciding Refinement Relation in Belief-Intention Databases. AI*IA 2017: 186-199 - [c125]Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig:
Repairing ABoxes through Active Integrity Constraints. Description Logics 2017 - [c124]Francesco Belardinelli, Andreas Herzig:
Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI 2017: 821-827 - [c123]Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
:
Strategically knowing how. IJCAI 2017: 1031-1038 - [c122]Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes:
Non-Determinism and the Dynamics of Knowledge. IJCAI 2017: 1053-1059 - [c121]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469 - [c120]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
- [j44]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) - [c119]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c118]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 - [c117]Martin C. Cooper
, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
Simple Epistemic Planning: Generalised Gossiping. ECAI 2016: 1563-1564 - [c116]Francesco Belardinelli, Andreas Herzig:
On Logics of Strategic Ability Based on Propositional Control. IJCAI 2016: 95-101 - [c115]Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI 2016: 1116-1122 - [c114]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao:
On Hierarchical Task Networks. JELIA 2016: 551-557 - [c113]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang:
Refinement of Intentions. JELIA 2016: 558-563 - [c112]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
- [j43]Andreas Herzig:
Logics of knowledge and action: critical analysis and challenges. Auton. Agents Multi Agent Syst. 29(5): 719-753 (2015) - [j42]Chiaki Sakama, Martin Caminada, Andreas Herzig:
A formal account of dishonesty. Log. J. IGPL 23(2): 259-294 (2015) - [j41]Andreas Herzig:
Letter from the Editor. J. Appl. Non Class. Logics 25(1): 1 (2015) - [c111]Andreas Herzig, Faustine Maffre:
How to Share Knowledge by Gossiping. EUMAS/AT 2015: 249-263 - [c110]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Epistemic Equilibrium Logic. IJCAI 2015: 2964-2970 - [c109]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 - [j40]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Capturing equilibrium models in modal logic. J. Appl. Log. 12(2): 192-207 (2014) - [c108]Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
:
On the revision of planning tasks. ECAI 2014: 435-440 - [c107]Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
:
Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS 2014: 381-398 - [c106]Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi:
Trust-based Personal Information Management in SOA. ICAART (1) 2014: 667-672 - [c105]Philippe Besnard, Sylvie Doutre, Andreas Herzig:
Encoding Argument Graphs in Logic. IPMU (2) 2014: 345-354 - [c104]Guillaume Feuillade, Andreas Herzig:
A Dynamic View of Active Integrity Constraints. JELIA 2014: 486-499 - [c103]Sylvie Doutre, Andreas Herzig, Laurent Perrussel:
A Dynamic Logic Framework for Abstract Argumentation. KR 2014 - [c102]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
- [j39]Emiliano Lorini, Nicolas Troquard
, Andreas Herzig, Jan M. Broersen:
Grounding power on actions and mental attitudes. Log. J. IGPL 21(3): 311-331 (2013) - [j38]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) - [j37]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) - [c101]Philippe Balbiani
, Andreas Herzig, Nicolas Troquard
:
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL. LICS 2013: 143-152 - [c100]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 - [c99]Andreas Herzig, Emiliano Lorini, Dirk Walther:
Reasoning about Actions Meets Strategic Logics. LORI 2013: 162-175 - [c98]Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Combining Equilibrium Logic and Dynamic Logic. LPNMR 2013: 304-316 - [c97]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
- [j36]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) - [j35]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) - [c96]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Some Truths Are Best Left Unsaid. Advances in Modal Logic 2012: 36-54 - [c95]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
- [j34]Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek:
Foreword. J. Appl. Non Class. Logics 21(3-4): 263-264 (2011) - [j33]Andreas Herzig, Emiliano Lorini:
Editorial Introduction: Logical Methods for Social Concepts. J. Philos. Log. 40(4): 441-443 (2011) - [j32]Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011) - [c94]Luis Fariñas del Cerro, Andreas Herzig:
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c93]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 - [c92]Andreas Herzig, Emiliano Lorini, Nicolas Troquard
:
A Dynamic Logic of Institutional Actions. CLIMA 2011: 295-311 - [c91]Luis Fariñas del Cerro, Andreas Herzig:
The Modal Logic of Equilibrium Models. FroCoS 2011: 135-146 - [c90]Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
:
A Dynamic Logic of Normative Systems. IJCAI 2011: 228-233 - [c89]Luis Fariñas del Cerro, Andreas Herzig:
Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228 - [c88]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
- [j31]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) - [j30]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) - [j29]Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner
, Laurent Vercouter:
A logic of trust and reputation. Log. J. IGPL 18(1): 214-244 (2010) - [j28]Philippe Balbiani
, Luis Fariñas del Cerro, Andreas Herzig:
Foreword. J. Appl. Non Class. Logics 20(4): 311 (2010) - [j27]Andreas Herzig, Emiliano Lorini:
A Dynamic Logic of Agency I: STIT, Capabilities and Powers. J. Log. Lang. Inf. 19(1): 89-121 (2010) - [j26]Philippe Balbiani
, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010) - [c87]Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini:
Trust in complex actions. ECAI 2010: 1037-1038 - [c86]Philippe Balbiani
, Rachid Echahed, Andreas Herzig:
A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74 - [c85]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
- [j25]Guillaume Aucher, Philippe Balbiani
, Luis Fariñas del Cerro, Andreas Herzig:
Global and Local Graph Modifiers. Electron. Notes Theor. Comput. Sci. 231: 293-307 (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) - [c84]Benoit Gaudou, Andreas Herzig, Dominique Longin:
Logical formalization of social commitments: application to agent communication languages. AAMAS (2) 2009: 1293-1294 - [c83]Carole Adam
, Andreas Herzig, Dominique Longin, Vincent Louis:
Unifying the Intentional and Institutional Semantics of Speech Acts. DALT 2009: 68-84 - [c82]Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini:
Tableaux for Acceptance Logic. DALT 2009: 85-100 - [c81]Yann Krupa, Laurent Vercouter, Jomi Fred Hübner
, Andreas Herzig:
Trust Based Evaluation of Wikipedia's Contributors. ESAW 2009: 148-161 - [c80]László Aszalós, Andreas Herzig:
A Protocol for Execution of Distributed Logic Programs. IDC 2009: 21-30 - [c79]Guillaume Aucher, Davide Grossi
, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic. LORI 2009: 15-26 - [c78]