Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

9 résultats
Image document

How to Best Nest Regular Path Queries

Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph
Informal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Communication dans un congrès hal-01098979v1
Image document

Query Containment for Highly Expressive Datalog Fragments

Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph
2014
Pré-publication, Document de travail hal-01098974v1
Image document

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

Sebastian Rudolph , Michael Thomazo , Jean-François Baget , Marie-Laure Mugnier
[Research Report] LIRMM. 2014
Rapport lirmm-01097137v1
Image document

Revisiting Grounded Circumscription in Description Logics

Stathis Delivorias , Sebastian Rudolph
RR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.46-60, ⟨10.1007/978-3-319-45276-0_5⟩
Communication dans un congrès lirmm-01400068v1
Image document

Workshop Notes International Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)

Sergei O. Kuznetsov , Amedeo Napoli , Sebastian Rudolph
Kuznetsov, Sergei O. ; Napoli, Amedeo; Rudolph, Sebastian. CEUR Workshop Proceedings 1430, 2015, CEUR Workshop Proceedings 1430
Ouvrages hal-01252624v1
Image document

International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013, Beijing, China, August 4 2013)

Sergei O. Kuznetsov , Amedeo Napoli , Sebastian Rudolph
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. CEUR Proceedings, 1058, pp.58, 2013
Ouvrages hal-00922616v1
Image document

Expressivity of Datalog Variants – Completing the Picture

Sebastian Rudolph , Michaël Thomazo
25th International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States
Communication dans un congrès hal-01302832v1
Image document

Workshop Notes of the Seventh International Workshop "What can FCA do for Artificial Intelligence?

Sergei O. Kuznetsov , Amedeo Napoli , Sebastian Rudolph
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2019 (What can FCA do for Artificial Intelligence?), 2019, CEUR Workshop Proceedings 2529, CEUR-WS.org, pp.87, 2019
Proceedings/Recueil des communications hal-02431335v1
Image document

10th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2022)

Sergei Kuznetsov , Amedeo Napoli , Sebastian Rudolph
CEUR Workshop Proceedings, 2022, 1613-0073
Proceedings/Recueil des communications hal-04055178v1