Article dans une revue
2015
- titre
- Programmation par ensembles réponses pour simuler l’assolement d’un paysage
- auteur
- Thomas Guyet, Yves Moinard, René Quiniou
- article
- Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, Numéro spécial RFIA 2014, 29 (3-4), pp.28. ⟨10.3166/ria.29.293-320⟩
- Accès au bibtex
-
2008
- titre
- Ontology-based inference for causal explanation
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- Integrated Computer-Aided Engineering, 2008, 15 (4), pp.351-367
- Accès au texte intégral et bibtex
-
2007
- titre
- Forgetting literals with varying propositional symbols
- auteur
- Yves Moinard
- article
- Journal of Logic and Computation, 2007, 17 (5), pp.955--982
- Accès au bibtex
-
Communication dans un congrès
2016
- titre
- Packing graphs with ASP for landscape simulation
- auteur
- Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou
- article
- IJCAI 2016 - 25th International joint conference on artificial intelligence , Jul 2016, New-york, United States. pp.8
- Accès au texte intégral et bibtex
-
- titre
- Fouille de motifs séquentiels avec ASP
- auteur
- Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
- article
- Extraction et Gestion de Connaissances (EGC), 2016, Reims, France
- Accès au bibtex
-
2014
- titre
- Programmation par ensembles réponses pour simuler l'assolement d'un paysage
- auteur
- Thomas Guyet, Yves Moinard
- article
- Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France
- Accès au texte intégral et bibtex
-
- titre
- Using Answer Set Programming for pattern mining
- auteur
- Thomas Guyet, Yves Moinard, René Quiniou
- article
- Intelligence Artificielle Fondamentale, Jun 2014, Angers, France
- Accès au texte intégral et bibtex
-
- titre
- Arguments using ontological and causal knowledge (FoIKS 2014)
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2014), Sofian Maabout, Mar 2014, Bordeaux, France. pp.79--96, ⟨10.1007/978-3-319-04939-7_3⟩
- Accès au texte intégral et bibtex
-
2013
- titre
- Arguments using ontological and causal knowledge (JIAF 2013)
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- 7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. pp.41-48
- Accès au texte intégral et bibtex
-
2012
- titre
- Utiliser la programmation par ensembles réponses pour de petits problèmes
- auteur
- Yves Moinard
- article
- RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France
- Accès au texte intégral et bibtex
-
2011
- titre
- Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes
- auteur
- Yves Moinard
- article
- Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), LIRIS et thème Intelligence Artificielle Fondamentale du GDR-I3, Jun 2011, Lyon, France
- Accès au texte intégral et bibtex
-
2010
- titre
- A formalism for causal explanations with an Answer Set Programming translation
- auteur
- Yves Moinard
- article
- 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Using ASP with recent extensions for causal explanations
- auteur
- Yves Moinard
- article
- ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
2009
- titre
- Remarks about the use of Answer Set Programming for a causal formalism
- auteur
- Marie-Odile Cordier, Yves Moinard
- article
- MICRAC project Workshop (Toulouse), 2009, Toulouse, France
- Accès au bibtex
-
2008
- titre
- Deriving explanations from causal information
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- ECAI 2008 (18th European Conference on Artificial Intelligence), 2008, Patras, Greece. pp.723--724
- Accès au bibtex
-
2007
- titre
- An Experience of Using ASP for Toy Examples
- auteur
- Yves Moinard
- article
- Fourth Workshop on Answer Set Programming (ASP 07), 2007, Porto, Portugal. pp.133--147
- Accès au bibtex
-
- titre
- Ontology-based inference for causal explanation
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- KSEM07 (Second International Conference on Knowledge Science, Engineering and Management), 2007, Melbourne, Australia. pp.153-164
- Accès au bibtex
-
2006
- titre
- Configurations for Inference between Causal Statements
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management), 2006, Guilin, China. pp.292--304
- Accès au bibtex
-
- titre
- About the computation of forgetting symbols and literals
- auteur
- Yves Moinard
- article
- NMR 2006 ( 11th Workshop on Non-monotonic Reasoning), 2006, Lake District, United Kingdom. pp.209--217
- Accès au bibtex
-
- titre
- Oubli de littéraux avec symboles propositionnels variables
- auteur
- Yves Moinard
- article
- RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle), 2006, Tours, France. pp.120 (1-10)
- Accès au bibtex
-
2005
- titre
- Forgetting literals with varying propositional symbols
- auteur
- Yves Moinard
- article
- Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning), 2005, Corfu, Greece, Greece. pp.169-176
- Accès au bibtex
-
- titre
- Configurations for Inference from Causal Statements: Preliminary Report
- auteur
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard
- article
- AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence), 2005, Milan, Italy. pp.282-285
- Accès au bibtex
-
Chapitre d'ouvrage
2020
- titre
- Logic Programming
- auteur
- Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stephan
- article
- A Guided Tour of Artificial Intelligence Research, 2020, ⟨10.1007/978-3-030-06167-8_4⟩
- Accès au bibtex
-
2017
- titre
- Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
- auteur
- Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
- article
- Bruno Pinaud; Fabrice Guillet; Bruno Cremilleux; Cyril de Runz. Advances in Knowledge Discovery and Management, 7, Springer, pp.41--81, 2017, 978-3-319-65405-8
- Accès au texte intégral et bibtex
-
2014
- titre
- Programmation logique
- auteur
- Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan
- article
- Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, chapitre 4, 2014, Algorithmes pour l'intelligence artificielle, 978.2.36493.042.1
- Accès au bibtex
-
Document associé à des manifestations scientifiques
2012
- titre
- Pont miné, vieil éléphant mangeur de bananes, et utilisation de la programmation par ensembles réponses (Answer Set Programming)
- auteur
- Yves Moinard
- article
- Séminaire du thème "Raisonnement et décision" - l'IRIT, Jun 2012, Toulouse, France
- Accès au texte intégral et bibtex
-
2011
- titre
- Approches logiques de la causalité
- auteur
- Yves Moinard
- article
- Atelier LISE sur la causalité, Dec 2011, Paris, France
- Accès au texte intégral et bibtex
-
Rapport
2000
- titre
- Characterizations of Preferential Entailments
- auteur
- Yves Moinard, Raymond Rolland
- article
- [Research Report] RR-3928, INRIA. 2000
- Accès au texte intégral et bibtex
-