Filtrer vos résultats
- 17
- 10
- 18
- 6
- 1
- 1
- 1
- 1
- 27
- 1
- 1
- 2
- 2
- 2
- 1
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 1
- 19
- 8
- 23
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 8
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 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
27 résultats
|
|
triés par
|
Views and Synthesis of Cognitive MapsArtificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, 2012, Varna, Bulgaria. pp.119-124, ⟨10.1007/978-3-642-33185-5_13⟩
Communication dans un congrès
hal-03256744v1
|
|||
Exists-ASP1st Ontologies and Logic Programming for Query Answering workshop (ONTOLP 2015), 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-02709473v1
|
|||
|
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coinAnnals of Mathematics and Artificial Intelligence, 2018, 82 (1-3), pp.3-41. ⟨10.1007/s10472-017-9563-9⟩
Article dans une revue
lirmm-01934731v1
|
||
|
A Semantic Characterization for ASP Base RevisionJournal of Artificial Intelligence Research, 2019, 66, pp.989 - 1029
Article dans une revue
hal-02392942v1
|
||
Traiter automatiquement les exceptions en introduisant la spécificité en ASPRevue I3 - Information Interaction Intelligence, 2009, 9 (2), pp.117 - 138
Article dans une revue
hal-03350578v1
|
|||
|
Cartes Cognitives SynthétiséesRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656499v1
|
||
|
Complexity results and algorithms for possibilistic influence diagramsArtificial Intelligence, 2008, 172 (8-9), pp.1018-1044. ⟨10.1016/j.artint.2007.11.008⟩
Article dans une revue
hal-02661247v1
|
||
Les travaux de Pascal Nicolas: Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encoreRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2012, 26 (1-2), pp.11 - 38
Article dans une revue
hal-03350576v1
|
|||
Traiter les exceptions en ASP à partir d’une représentation compacte des informationsJournées Nationales de l'IA Fondamentale, 2008, Paris, France
Communication dans un congrès
hal-03256215v1
|
|||
Validation d'une carte cognitive13e Conférence Francophone sur l’Extraction et la Gestion des Connaissances (EGC’2013), 2013, Toulouse, France. pp.91-96
Communication dans un congrès
hal-03256586v1
|
|||
Directed possibilistic graphs and possibilistic logic7th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 1998) = Septième conférence internationale IPMU Traitement d'information et gestion d'incertitudes dans les systèmes à base de connaissances, Jul 1998, Paris, France. pp.1470-1471
Communication dans un congrès
hal-03299832v1
|
|||
Proceedings of JOWO-2015. The Joint Ontology Workshops at IJCAI 2015JOWO 2015 - The Joint Ontology Workshops, Jul 2015, Buenos Aires, Argentina. , 2015, JOWO 2015 - JOWO 2015 The Joint Ontology Workshops - Episode 1
Proceedings/Recueil des communications
hal-01488674v1
|
|||
|
ASPeRiX, a first-order forward chaining approach for answer set computingTheory and Practice of Logic Programming, 2017, 17 (3), pp.266-310. ⟨10.1017/S1471068416000569⟩
Article dans une revue
hal-02715057v1
|
||
Synthesis of Cognitive Maps and Applications26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), 2014, Limassol, Cyprus. pp.292-298, ⟨10.1109/ICTAI.2014.51⟩
Communication dans un congrès
hal-03352560v1
|
|||
|
Possibilistic logic bases and possibilistic graphs15th Conference on Uncertainty in Artificial Intelligence (UAI 1999), 1999, Stockholm, Sweden. pp.57-64
Communication dans un congrès
hal-03299825v1
|
||
|
Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning5th Global Conference on Artificial Intelligence, Sep 2019, Bolzano, Italy. pp.1-14
Communication dans un congrès
hal-02332016v1
|
||
Probabilistic cognitive mapsSeptièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), 2013, Aix en provence, France
Communication dans un congrès
hal-00828271v1
|
|||
|
Backjumping pour le calcul d’ensembles réponses dans les solveurs ASP guidés par les regles6es Journées de l'Intelligence Artificielle Fondamentale, IAF 2012, 2012, Toulouse, France. pp.189-198
Communication dans un congrès
hal-03350667v1
|
||
Réseaux possibilistes orientés et logique possibiliste[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1999
Rapport
hal-04018211v1
|
|||
Justifications and Blocking Sets in a Rule-Based Answer Set Computation32nd International Conference on Logic Programming (ICLP 2016), 2016, New york, United States
Communication dans un congrès
hal-02709504v1
|
|||
|
A Semantic characterization for ASP base revisionScalable Uncertainty Management, Oct 2017, Granada, Spain. pp.334--347
Communication dans un congrès
hal-01770946v1
|
||
|
De l'utilisation de l'Answer Set Programming pour la formalisation de logiques de descriptionRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656560v1
|
||
|
A Probabilistic Semantics for Cognitive MapsAgents and Artificial Intelligence 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers, 8946, Springer, pp.151-169, 2015, Lecture Notes in Artificial Intelligence, ⟨10.1007/978-3-319-25210-0_10⟩
Chapitre d'ouvrage
hal-01205961v1
|
||
|
Probabilistic Cognitive Maps Semantics of a Cognitive Map when the Values are Assumed to be ProbabilitiesInternational Conference on Agents and Artificial Intelligence (ICAART), 2014, Angers, France. pp.52-62
Communication dans un congrès
hal-00957935v1
|
||
|
Validation of a Cognitive MapProceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), 2014, Angers, France. pp.320-327, ⟨10.5220/0004757103200327⟩
Communication dans un congrès
hal-03256743v1
|
||
Dealing Automatically with Exceptions by Introducing Specificity in ASP10th European Conference, ECSQARU 2009, 2009, Vérone, Italy. pp.614 - 625, ⟨10.1007/978-3-642-02906-6_53⟩
Communication dans un congrès
istex
hal-03255414v1
|
|||
|
Possibilistic ASP Base Revision by Certain InputInternational Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden
Communication dans un congrès
hal-01794353v1
|