Accéder directement au contenu

Andreas Herzig

17
Documents

Publications

laurent-perrussel
Image document

BDI logics for BDI architectures: old problems, new perspectives

Andreas Herzig , Emiliano Lorini , Laurent Perrussel , Zhanhao Xiao
KI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩
Article dans une revue hal-01692711v1
Image document

Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini
Electronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩
Article dans une revue hal-01625886v1
Image document

Refining HTN Methods via Task Insertion with Preferences

Zhanhao Xiao , Hai Wan , Hankui Hankz Zhuo , Andreas Herzig , Laurent Perrussel
Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩
Communication dans un congrès hal-02887591v1
Image document

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩
Communication dans un congrès hal-03622809v1
Image document

Deciding Refinement Relation in Belief-Intention Databases

Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Dongmo Zhang
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199
Communication dans un congrès hal-02603831v1
Image document

Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini
16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩
Communication dans un congrès hal-01919061v1
Image document

Hierarchical Task Network Planning with Task Insertion and State Constraints

Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Hai Wan , Xiaoheng Su
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469
Communication dans un congrès hal-03658077v1

A Dynamic Logic Framework for Abstract Argumentation (CAF 2016)

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States
Communication dans un congrès hal-03165003v1
Image document

Refinement of intentions

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Communication dans un congrès hal-01692703v1
Image document

On hierarchical task networks

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Communication dans un congrès hal-01692705v1
Image document

A Dynamic Logic Framework for Abstract Argumentation

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71
Communication dans un congrès hal-04103466v1
Image document

Prolegomena for a logic of trust and reputation

Andreas Herzig , Emiliano Lorini , Jomi Fred Hübner , Jonathan Ben-Naim , Olivier Boissier
3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157
Communication dans un congrès hal-00405595v1
Image document

Elaborating domain descriptions (NMR 2006)

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak
11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom
Communication dans un congrès hal-03537163v1
Image document

Elaborating domain descriptions (ECAI 2006)

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak
17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Communication dans un congrès hal-03537160v1
Image document

On iterated revision in the AGM framework

Andreas Herzig , Sébastien Konieczny , Laurent Perrussel
7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.477-488, ⟨10.1007/978-3-540-45062-7_39⟩
Communication dans un congrès hal-03300685v1
Image document

Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann , Andreas Herzig , Laurent Perrussel
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Chapitre d'ouvrage hal-03573581v1
Image document

Contracting TBoxes: the importance of being modular

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak
[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006
Rapport hal-03537177v1