Ressources liées aux thématiques du GT MAFTEC

Tutoriels

• Tiago de Lima, Frédéric Maris, Ajdin Sumic, Thierry Vidal, et Bruno Zanuttini. Introduction à la planification. PFIA 2023, Strasbourg, 5 juillet 2023. [Diaporama: partie 1 | partie 2 | partie 3 | partie 4]
• Tiago de Lima, Frédéric Maris, Thierry Vidal, et Bruno Zanuttini. Automated Task Planning: towards Multi-Agent, Flexible, Temporal, Epistemic and Contingent Models. ECAI 2024, Santiago de Compostela, 20 octobre 2024

Workshops, conférences et journaux

Communauté française

• JIAF-JFPDA: Journées d'intelligence artificielle fondamentale-Journées francophones sur la planification, la décision et l'apprentissage pour la conduite de systèmes
• Journées MAFTEC

Communauté internationale

• AAAI: The Association for Advancement of Artificial Intelligence's National Conference on Artificial Intelligence
• AAMAS: International Conference on Autonomous Agents and Multiagent Systems
• ECAI: European Conference on Artificial Intelligence
• IJCAI: International Joint Conference on Artificial Intelligence
• ICAPS: International Conference on Automated Planning and Scheduling
• ICTAI: International Conference on Tools with Artificial Intelligence (tracks)
• KR: International Conference on Principles of Knowledge Representation and Reasoning
• TIME: International Symposium on Temporal Representation and Reasoning
• UAI: Conference on Uncertainty in Artificial Intelligence

• AIJ: Artififial Intelligence Journal
• JAIR: Journal of Artificial Intelligence Research
• Autonomous Agents and Multi-Agent Systems

Applicatif/Robotique

• IROS
• ICRA
• HRI

Livres et articles importants

General

• Malik Ghallab, Dana Nau, et Paolo Traverso. Automated Planning and Acting. Cambridge University Press. 2016
• Stuart J. Russell, et Peter Norvig. Artificial Intelligence: A Modern Approach. Chapitre 11. Pearson. 2022
• Jean-Marc Alliot, Thomas Schiex, Pascal Brisset, et Frédérick Garcia. Intelligence artificielle et informatique théorique. Cépaduès. 2002

Classical

• Richard E. Fikes, et Nils J. Nilsson (1971). Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189–208
• Henry A. Kautz, et Bart Selman (1992). Planning as satisfiability. In Proc. of ECAI'92, pp 359–363
• Avrim L. Blum, et Merrick L. Furst (1997). Fast planning through planning graph analysis. Artificial intelligence 90:281–300

MDP

• Cassandra, Littman, POMDP (AIJ 98)
• Bernstein & Zilberstein DecMDP
• PDMIA (chapitre 1)

Temporal

• Thierry Vidal, et Hélène Fargier (1999). Handling contingency in temporal constraint networks: from consistency to controllabilities. Journal of Experimental and Theoretical Artificial Intelligence 11(1):23–45
• Maria Fox, et Derek Long (2003). PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelliugence Research 20:61–124

HTN

• Nau 2003 (HTN)

Épistémique

• Ronald Fagin, Joseph H. Halpern, Yoram Moses, et Moshe Vardi. Reasoning about Knowledge. The MIT Press. 1995
• Hans van Ditmarsch, Wiebe van der Hoek, et Barteld Kooi. Dynamic Epistemic Logic. Springer. 2008

Articles du groupe

Thèses et HDR

Solvers, code

Du groupe

• PDDL4J
• Solveur Gaspard
• François Schwarzentruber. Hintikka's world
• Gamblin

Autres

• Malvin Gattinger. SMCDEL. A symbolic model checker for Dynamic Epistemic Logic
• gymnasium
• madp
• pomdplib
• space simulator (alloc de tâches multi-agents)

Benchmarks

• Sites IPC

Ressources pédagogiques

• Faire des Jupyter (Serveur ? Binder ??)
• GREYC : TP POMDP
• Humbert et Damien TP
• Fred M.

Contact

Pour des suggestions et corrections, contacter: Tiago de Lima.