Filtrer vos résultats
- 24
- 19
- 2
- 1
- 1
- 1
- 24
- 1
- 3
- 2
- 1
- 1
- 4
- 4
- 2
- 2
- 2
- 2
- 13
- 11
- 19
- 8
- 7
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 24
- 7
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
24 résultats
|
|
triés par
|
|
Compilation de CSPs : carte de complexité des MDDs non-déterministesNeuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Laboratoire des Sciences de l’Information et des Syst`emes (LSIS); Laboratoire d’Informatique Fondamentale de Marseille (LIF); AFPC : Association Française pour la Programmation par Contraintes, Jun 2013, Aix en Provence, France. pp.21-30
Communication dans un congrès
hal-01217173v1
|
||
|
Compilation de CSP en Set-labeled Diagram8èmes Journées Francophones sur la Programmation par Contraintes (JFPC 2012), LAAS, Toulouse; Association francaise de programmation par contraintes, May 2012, Toulouse, France. pp.244-253
Communication dans un congrès
hal-00811474v1
|
||
|
Knowledge Compilation for Action LanguagesJournées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2020), Jul 2020, Angers, France
Communication dans un congrès
hal-02942877v1
|
||
|
An Algebra of Granular Temporal Relations for Qualitative ReasoningTwenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01189003v2
|
||
|
Une algèbre des relations temporelles granulaires pour le raisonnement qualitatifNeuvièmes Journées de l'Intelligence Artificielle Fondamentale, juillet 2015, Rennes, France, Jun 2015, Rennes, France
Communication dans un congrès
hal-01189005v1
|
||
|
Hintikka's World: Scalable Higher-order Knowledge2019, pp.6494-6496
Autre publication scientifique
hal-03664506v1
|
||
|
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision DiagramsInternational Journal on Artificial Intelligence Tools, 2014, 23 (4), pp.1460015. ⟨10.1142/S021821301460015X⟩
Article dans une revue
hal-01303816v1
|
||
|
Compilation de connaissances pour la décision en ligne : application à la conduite de systèmes autonomesIntelligence artificielle [cs.AI]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Thèse
tel-00758266v1
|
||
|
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving RegionsTwenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.986 - 992, ⟨10.24963/ijcai.2017/137⟩
Communication dans un congrès
hal-01579030v2
|
||
|
Knowledge Compilation for Nondeterministic Action LanguagesInternational Conference on Automated Planning and Scheduling, Aug 2021, Guangzhou, China
Communication dans un congrès
hal-03249126v1
|
||
|
Towards a Knowledge Compilation Map for Heterogeneous Representation Language23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), International Joint Conferences on Artificial Intelligence (IJCAI), Aug 2013, Beijing, China. pp.877-883
Communication dans un congrès
hal-04085296v1
|
||
|
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agentActes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France
Communication dans un congrès
hal-01837924v1
|
||
|
A KC Map for Variants of Nondeterministic PDDL16es journées d'intelligence artificielle fondamentale (JIAF 2022), Jun 2022, Saint-Étienne, France
Communication dans un congrès
hal-03658932v1
|
||
|
Vérification symbolique de modèles pour la logique épistémique dynamique probabilisteJournées Francophones Planification, Décision et Apprentissage (PFIA) 2021, Jun 2021, Bordeaux, France
Communication dans un congrès
hal-03664513v1
|
||
|
Efficient Representations for the Modal Logic S5Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York City, United States
Communication dans un congrès
hal-01311642v1
|
||
|
Explicit Representations of Persistency for Propositional Action TheoriesJournées Francophones Francophones Planification, Décision et Apprentissage, Jun 2021, Bordeaux, France
Communication dans un congrès
hal-03249121v1
|
||
|
Vérification de la cohérence des multi-réseaux de contraintes qualitativesConférence Nationale en Intelligence Artificielle, Jun 2016, Clermont-Ferrand, France
Communication dans un congrès
hal-01355467v1
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2020Association Française d'Intelligence Artificielle, 2020
Ouvrages
hal-02964840v1
|
||
|
Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Communication dans un congrès
hal-01577782v1
|
||
|
Représentations efficaces pour la logique modale S5 *10es Journées d'Intelligence Artificielle Fondamentale (IAF~2016), Jun 2016, Montpellier, France
Communication dans un congrès
hal-01356082v1
|
||
|
Checking the Consistency of Combined Qualitative Constraint NetworksThirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, California, United States
Communication dans un congrès
hal-01579026v2
|
||
|
Décision de la cohérence des réseaux de contraintes qualitatives combinésRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2017, 31, pp.41 - 70. ⟨10.3166/ria.31.41-70⟩
Article dans une revue
hal-01579052v2
|
||
|
Carte de compilation des diagrammes de décision ordonnés a valeurs réelles8èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2014), Jun 2014, Angers, France. pp.1--11
Communication dans un congrès
hal-01095577v1
|
||
|
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams28th Conference on Artificial Intelligence (AAAI 2014), AAAI, Jul 2014, Quebec, Canada. pp.1049--1055
Communication dans un congrès
hal-04077580v1
|