Andreas Herzig
17
Documents
Publications
- 17
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
BDI logics for BDI architectures: old problems, new perspectivesKI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩
Article dans une revue
hal-01692711v1
|
|
Relaxing Exclusive Control in Boolean GamesElectronic 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
|
|
Refining HTN Methods via Task Insertion with PreferencesThirty-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
|
|
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change2nd 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
|
|
Deciding Refinement Relation in Belief-Intention DatabasesInternational 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
|
|
Relaxing Exclusive Control in Boolean Games16th 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
|
|
Hierarchical Task Network Planning with Task Insertion and State Constraints26th 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)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
|
|
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Communication dans un congrès
hal-01692703v1
|
|
On hierarchical task networks15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Communication dans un congrès
hal-01692705v1
|
|
A Dynamic Logic Framework for Abstract Argumentation14th 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
|
|
Prolegomena for a logic of trust and reputation3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157
Communication dans un congrès
hal-00405595v1
|
|
Elaborating domain descriptions (NMR 2006)11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom
Communication dans un congrès
hal-03537163v1
|
|
Elaborating domain descriptions (ECAI 2006)17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Communication dans un congrès
hal-03537160v1
|
|
On iterated revision in the AGM framework7th 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
|
|
Epistemic Reasoning About Rationality and Bids in AuctionsLogics 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
|
|
Contracting TBoxes: the importance of being modular[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006
Rapport
hal-03537177v1
|