1. Recherche
25 résultats  enregistrer la recherche
...
lirmm-01093640v2  Rapport
Michel Leclère, Michaël Thomazo, Michel Chein. Similarité entre listes de termes dépendants et pondérés
[Rapport de recherche] LIRMM. 2014
...
lirmm-00763518v1  Communication dans un congrès
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph. A Generic Querying Algorithm for Greedy Sets of Existential Rules
KR: Principles of Knowledge Representation and Reasoning, Jun 2012, Rome, Italy. 13th International Conference on Principles of Knowledge Representation and Reasoning pp.096-106, 2012, <http://www.dis.uniroma1.it/~kr12/>
...
lirmm-00925730v1  Communication dans un congrès
Michaël Thomazo. Ontology Based Query Answering with Existential Rules
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artifcial Intelligence, pp.3017-3021, 2013
...
tel-00925722v1  Thèse
Michaël Thomazo. Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
Artificial Intelligence [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English
...
lirmm-00764341v3  Communication dans un congrès
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules
Markus Krötzsch; Umberto Straccia. RR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. LNCS (7497), pp.122-138, 2012, Web Reasoning and Rule Systems. <http://www.kr.tuwien.ac.at/events/rr2012/>. <10.1007/978-3-642-33203-6_10>
...
lirmm-00763586v1  Communication dans un congrès
Michaël Thomazo. From EL to Tractable Existential Rules with Complex Role Inclusions
DL'12: International Workshop on Description Logics, Italy. pp.563-573, 2012
lirmm-00551570v1  Communication dans un congrès
Michaël Thomazo. Cas décidables par marche arrière pour des règles existentielles
Journée d'Intelligence Artificielle Fondamentale, France. pp.011-021, 2010
...
lirmm-00568935v1  Rapport
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo. Complexity Boundaries for Generalized Guarded Existential Rules
RR-11006, 2011, 39 p
...
lirmm-00838806v1  Communication dans un congrès
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules
RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.123-137, 2013, Web Reasoning and Rule Systems. <10.1007/978-3-642-39666-3_10>
...
lirmm-00838791v1  Communication dans un congrès
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artificial Intelligence, 2013, <http://ijcai-13.org>
lirmm-00618081v1  Communication dans un congrès
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo. Walking the Complexity Lines for Generalized Guarded Existential Rules
Toby Walsh. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. AAAI Press, 22nd International Joint Conference on Artificial Intelligence, pp.712-717, 2011, <http://ijcai-11.iiia.csic.es/>
lirmm-00618090v1  Communication dans un congrès
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Notions de dépendances pour les règles Existentielles
JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21, 2011, <http://liris.cnrs.fr/jfpc-jiaf2011/>
...
lirmm-01089990v1  Communication dans un congrès
Marie-Laure Mugnier, Michaël Thomazo. An Introduction to Ontology-Based Query Answering with Existential Rules
Manolis Koubarakis; Giorgos Stoilos; Ian Horrocks; Phokion G. Kolaitis; Georg Lausen; Gerhard Weikum; Giorgos B. Stamou. RW: Reasoning Web, Sep 2014, Athens, Greece. Springer, 10th Reasoning Web Summer School, LNCS (8714), pp.245-278, 2014, Reasoning Web. Reasoning on the Web in the Big Data Era. <http://rw2014.di.uoa.gr/>. <10.1007/978-3-319-10587-1_6>
...
lirmm-00839422v1  Communication dans un congrès
Michaël Thomazo. Compact Rewriting for Existential Rules
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artificial Intelligence, 2013, <http://ijcai13.org/>
...
lirmm-00413699v2  Rapport
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo. On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation
RR-11026, 2009, pp.46
...
lirmm-00618329v1  Communication dans un congrès
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Towards Farsighted Dependencies for Existential Rules
S. Rudolph; C. Gutierrez. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. LNCS (6902), pp.30-45, 2011, Web Reasoning and Rule Systems. <http://www.rr-conference.org/RR2011/>. <10.1007/978-3-642-23580-1_4>
...
lirmm-00903375v1  Rapport
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
[Research Report] RR-13034, Lirmm. 2013, pp.29
...
lirmm-00675560v1  Rapport
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph. A Generic Querying Algorithm for Greedy Sets of Existential Rules
RR-12006, 2012
...
lirmm-00713182v3  Rapport
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules
RR-12016, 2012
...
lirmm-00681914v1  Article dans une revue
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo. On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation
Information and Computation, Elsevier, 2012, 215, pp.8-31. <10.1016/j.ic.2012.03.001>
...
lirmm-01090370v1  Article dans une revue
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475. <10.3233/SW-140153>

Contact


archive-ouverte@inria.fr