Filtrer vos résultats
- 38
- 5
- 1
- 28
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 44
- 3
- 1
- 6
- 5
- 6
- 4
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 29
- 15
- 44
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 44
- 18
- 17
- 16
- 14
- 10
- 8
- 7
- 6
- 6
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
44 résultats
|
|
triés par
|
|
Beliefs, Time and Space: A Language for the Yōkai Board Game23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020), Nov 2020, Nagoya (on line), Japan. ⟨10.1007/978-3-030-69322-0_28⟩
Communication dans un congrès
hal-03029712v2
|
||
|
An introduction to cognitive planningDoctoral. Tutorial at PFIA 2022, Saint-Etienne, France. 2022, pp.134
Cours
hal-03763006v1
|
||
|
Monotone Temporal Planning: Tractability, Extensions and ApplicationsJournal of Artificial Intelligence Research, 2014, vol. 50, pp. 447-485. ⟨10.1613/jair.4358⟩
Article dans une revue
hal-01118794v1
|
||
|
Relaxation of Temporal Planning ProblemsInternational Symposium on Temporal Representation and Reasoning - TIME 2013, Sep 2013, Pensacola, United States. pp. 37-44
Communication dans un congrès
hal-01147301v1
|
||
|
A Logical Modeling of the Yōkai Board Game[Research Report] IRIT - Institut de recherche en informatique de Toulouse. 2020
Rapport
hal-02983253v3
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2016Ouvrages hal-02189782v1 |
||
|
An Implemented System for Cognitive PlanningJournées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Communication dans un congrès
hal-03763068v1
|
||
A Simple Framework for Cognitive PlanningW17 - Workshop Cognitive Aspects of Knowledge Representation (CAKR 2022) @ IJCAI-ECAI 2022, AAAI Technical Track on Knowledge Representation and Reasoning, Jul 2022, Vienna, Austria. pp.6331-6339
Communication dans un congrès
hal-03760340v1
|
|||
|
Codages d'arbres compacts (CTE) pour la planification QBF12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Communication dans un congrès
hal-02982959v1
|
||
|
A Logical Modeling of the Yōkai Board GameAI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩
Article dans une revue
hal-04304902v1
|
||
|
Isomorphismes entre instances et sous-instances STRIPSJournées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Communication dans un congrès
hal-03819065v1
|
||
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-03015803v1
|
||
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Communication dans un congrès
hal-01500520v1
|
||
|
Poster sur ``La logique facile avec TouISTJournées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Poster de conférence
hal-03116309v1
|
||
Planification par satisfaction de bases de clausesLakhdar Saïs. Problème SAT : défis et challenges, Hermès, pp.289-309, 2008
Chapitre d'ouvrage
hal-00869998v1
|
|||
|
Monotone Temporal Planning : tractability, extensions and applications (Extended abstract)20th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2014, Lyon, France. pp. 928-932
Communication dans un congrès
hal-01153605v1
|
||
|
Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00442014v1
|
||
La planification par compilation (JFPDA 2018)JFPDA 2018 - Journées Francophones sur la Planification, la Décision et l'Apprentissage, LORIA; AFIA, Jul 2018, Nancy, France
Communication dans un congrès
hal-03034000v1
|
|||
|
Compact Tree Encodings for Planning as QBF13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Communication dans un congrès
hal-02279383v1
|
||
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163v1
|
|||
|
TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBFJournées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-03116308v1
|
||
|
Dynamic logic of parallel propositional assignments and its applications to planningTwenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Communication dans un congrès
hal-02865935v1
|
||
|
Temporal Epistemic Gossip Problems16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Communication dans un congrès
hal-02378391v1
|
||
|
Compilation d'un langage de planification temporelle de haut niveau en PDDL2.1RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656490v1
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2020Conférence Nationale d'Intelligence Artificielle Année 2020, Association Française d'Intelligence Artificielle, 2020
Proceedings/Recueil des communications
hal-02964840v1
|
||
|
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continuJournées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l'intelligence artificielle, France, Jul 2018, Nancy, France
Communication dans un congrès
hal-01840825v1
|
||
|
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete MathematicsComputer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Article dans une revue
hal-03477306v1
|
||
|
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
Communication dans un congrès
hal-03450078v1
|
||
|
An Implemented System for Cognitive Planning14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France. pp.492-499
Communication dans un congrès
hal-03477357v1
|
||
|
Twist your logic with TouIST4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8
Communication dans un congrès
hal-01671317v1
|
- 1
- 2