Nombre de documents

27

CV de Michaël Thomazo


Communication dans un congrès14 documents

  • Sebastian Rudolph, Michaël Thomazo. Expressivity of Datalog Variants – Completing the Picture. 25th International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States. Proceedings of the 25th International Joint Conference on Artificial Intelligence, 2016. <hal-01302832>
  • Raphaël Bonaque, Tien Duc Cao, Bogdan Cautis, François Goasdoué, Javier Letelier, et al.. Mixed-instance querying: a lightweight integration architecture for data journalism. VLDB, Sep 2016, New Delhi, India. VLDB, <http://vldb2016.persistent.com/>. <hal-01321201v2>
  • 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-01089990>
  • 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. <lirmm-00925730>
  • 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-00838791>
  • 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-00838806>
  • 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-00839422>
  • 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-00764341v3>
  • 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-00763586>
  • 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-00763518>
  • 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-00618081>
  • 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-00618090>
  • 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-00618329>
  • 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-00551570>

Rapport10 documents

  • 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-01093640v2>
  • Sebastian Rudolph, Michael Thomazo, Jean-François Baget, Marie-Laure Mugnier. Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. [Research Report] LIRMM. 2014. <lirmm-01097137>
  • 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-00903375>
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. [Research Report] RR-13016, Lirmm. 2013. <lirmm-00825634>
  • 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-00675560>
  • 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-00713182v3>
  • Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Towards Farsighted Dependencies for Existential Rules. RR-11016, 2011, pp.16. <lirmm-00595033>
  • 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-00568935>
  • 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-00413699v2>
  • Marie-Laure Mugnier, Michaël Thomazo. On the Complexity of Deduction in the Existential Conjunctive Fragment of FOL with Atomic Negation. RR-08013, 2008, pp.18. <lirmm-00285475>

Article dans une revue2 documents

  • 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>. <lirmm-01090370>
  • 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-00681914>

Thèse1 document

  • 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. <tel-00925722>