Filter your results
- 14
- 6
- 20
- 20
- 20
- 17
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
20 Results
|
|
sorted by
|
|
The Parameterized Complexity of Positional GamesICALP, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs⟩
Conference papers
hal-01994361v1
|
||
Un modèle pour raisonner sur les relations entre régions indéterminées11èmes Journées d'Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Conference papers
hal-01576040v1
|
|||
|
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
Conference papers
hal-01577782v1
|
||
Réseau bayésien d’un critère de décision dans un problème de décision répété et multicritères11e Journées d'Intelligence Artificielle Fondamentale JIAF 2017, Jul 2017, Caen, France
Conference papers
hal-01577775v1
|
|||
|
Les oiseaux picorant artificiels : une nouvelle méta-heuristique inspirée du comportement des pigeonsJournées d'Intelligence Artificielle Fondamentale (JIAF), Jul 2017, Caen, France
Conference papers
hal-01558577v1
|
||
Jeu d’apprentissage basé sur le débat pour la construction de preuves mathématiques11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01576049v1
|
|||
Sur la contraction itérée11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577823v1
|
|||
Fonctions préservées par analogie : une méthode pour étendre des données booléennes11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577828v1
|
|||
Une formulation SAT pour l’apprentissage de modèles de classement multicritères non-compensatoires11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577816v1
|
|||
Dynamique des systèmes d’argumentation : changement de sémantique et forçage d’extension11e Journées d'Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Conference papers
hal-01577768v1
|
|||
Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577817v1
|
|||
|
Une logique modale normale de la confiance11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577771v1
|
||
Tableau-based Revision for Expressive Description Logics11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577773v1
|
|||
Allocation d’objets par des échanges le long d’un réseau social11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577786v1
|
|||
Admissible generalizations of examples as rules (JIAF 2017)11èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Conference papers
hal-01576047v1
|
|||
|
Vers une représentation des systèmes dynamiques booléens en logique des hypothèsesJournées d'Intelligence Artificielle Fondamentale 2017, Jul 2017, Caen, France. 14p
Conference papers
hal-01566164v1
|
||
Approximation de l’inférence MAP via les transformations probabilistes-possibilistes11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577766v1
|
|||
Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01575536v1
|
|||
Une Sémantique Graduée Paramétrique pour la Persuasion11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers
hal-01577821v1
|
|||
|
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallotProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295
Conference papers
hal-01699927v1
|