Zum Inhalt springen

  2. Leclère, Michel [Verfasser:in]; Mugnier, Marie-Laure [Verfasser:in]; Thomazo, Michaël [Verfasser:in]; Ulliana, Federico [Verfasser:in] ; Michel Leclère and Marie-Laure Mugnier and Michaël Thomazo and Federico Ulliana [Mitwirkende:r]

    A Single Approach to Decide Chase Termination on Linear Existential Rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  4. Delivorias, Efstathios [Verfasser:in] ; Montpellier [Mitwirkende:r]; Mugnier, Marie-Laure [Mitwirkende:r]; Ulliana, Federico [Mitwirkende:r]; Leclère, Michel [Mitwirkende:r]

    Chase Variants & Boundedness ; Caractérisation de bornes de chaînage avant en règles existentielles (Datalog+)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-09-26

  6. Garreau, Fabien [Verfasser:in] ; Angers [Mitwirkende:r]; Stephan, Igor [Mitwirkende:r]

    Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation ; Extension of ASP to cover treatable DL fragments : theorical study and implementation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-11-24

  7. Feller, Thomas [Verfasser:in]; Lyon, Tim S. [Verfasser:in]; Ostropolski-Nalewaja, Piotr [Verfasser:in]; Rudolph, Sebastian [Verfasser:in] ; Thomas Feller and Tim S. Lyon and Piotr Ostropolski-Nalewaja and Sebastian Rudolph [Mitwirkende:r]

    Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  9. Rocher, Swan [Verfasser:in] ; Montpellier [Mitwirkende:r]; Mugnier, Marie-Laure [Mitwirkende:r]

    Querying existential rule knowledge bases : decidability and complexity ; Interrogation de bases de connaissances avec règles existentielles : décidabilité et complexité

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-11-25

  11. Pérution, Guillaume [Verfasser:in] ; Université de Montpellier (2022-.) [Mitwirkende:r]; Mugnier, Marie-Laure [Mitwirkende:r]

    Data Management in the Existential Rule Framework : Translation of Queries and Constraints ; Gestion de données dans le cadre des règles existentielles : traduction de requêtes et de contraintes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-12-18

  13. Gottlob, Georg [Verfasser:in]; Manna, Marco [Verfasser:in]; Marte, Cinzia [Verfasser:in]

    Dyadic Existential Rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Datalog 2.0 (4. : 2022 : Nervi): Datalog-2.0 2022: Resurgence of Datalog in Academia and Industry 2022 ; (2022), Seite 83-96

  14. Ceylan, Ismail Ilkan [Verfasser:in]; Lukasiewicz, Thomas [Verfasser:in]; Malizia, Enrico [Verfasser:in]; Vaicenavičius, Andrius [Verfasser:in]

    Query Answer Explanations under Existential Rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Italian Symposium on Advanced Database Systems (30. : 2022 : Tirrenia): SEBD 2022: Italian Symposium on Advanced Database Systems ; (2022), Seite 481-488

  16. Lukasiewicz, Thomas [Verfasser:in]; Malizia, Enrico [Verfasser:in]; Molinaro, Cristian [Verfasser:in]

    Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Italian Symposium on Advanced Database Systems (30. : 2022 : Tirrenia): SEBD 2022: Italian Symposium on Advanced Database Systems ; (2022), Seite 489-496

  17. Carral, David [Verfasser:in]; Krötzsch, Markus [Verfasser:in]

    Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020

  18. Calautti, Marco [Verfasser:in]; Greco, Sergio [Verfasser:in]; Molinaro, Cristian [Verfasser:in]; Trubitsyna, Irina [Verfasser:in]

    Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: Italian Symposium on Advanced Database Systems (29. : 2021 : Pizzo Calabro; Online): SEBD 2021: Italian Symposium on Advanced Database Systems ; (2021), Seite 217-225

  20. Sarlet, Ingo Wolfgang [Verfasser:in]; Kronbauer, Eduardo Luís [Verfasser:in]

    Mínimo existencial, assistência social e estado de direito : análise de decisão proferida pelo tribunal constitucional federal da Alemanha = Existential minimum, social assistance and rule of law : analysis of a decision by the Federal Constitutional Court of Germany

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Universidade de Santa Cruz do Sul, 2021

    Erschienen in: Revista do direito ; (2021), Seite 2-25