Zum Inhalt springen

  2. Leclère, Michel [VerfasserIn]; Mugnier, Marie-Laure [VerfasserIn]; Thomazo, Michaël [VerfasserIn]; Ulliana, Federico [VerfasserIn] ; Michel Leclère and Marie-Laure Mugnier and Michaël Thomazo and Federico Ulliana [MitwirkendeR]

    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

  3. Ahmetaj, Shqiponja [VerfasserIn]; Ortiz, Magdalena [VerfasserIn]; Simkus, Mantas [VerfasserIn] ; Shqiponja Ahmetaj and Magdalena Ortiz and Mantas Simkus [MitwirkendeR]

    Rewriting Guarded Existential Rules into Small Datalog Programs

    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, 2018

  4. Delivorias, Efstathios [VerfasserIn] ; Montpellier [MitwirkendeR]; Mugnier, Marie-Laure [MitwirkendeR]; Ulliana, Federico [MitwirkendeR]; Leclère, Michel [MitwirkendeR]

    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

  5. Krötzsch, Markus [VerfasserIn]; Marx, Maximilian [VerfasserIn]; Rudolph, Sebastian [VerfasserIn] ; Markus Krötzsch and Maximilian Marx and Sebastian Rudolph [MitwirkendeR]

    The Power of the Terminating Chase (Invited Talk)

    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

  6. Garreau, Fabien [VerfasserIn] ; Angers [MitwirkendeR]; Stephan, Igor [MitwirkendeR]

    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 [VerfasserIn]; Lyon, Tim S. [VerfasserIn]; Ostropolski-Nalewaja, Piotr [VerfasserIn]; Rudolph, Sebastian [VerfasserIn] ; Thomas Feller and Tim S. Lyon and Piotr Ostropolski-Nalewaja and Sebastian Rudolph [MitwirkendeR]

    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

  8. Hecham, Abdelraouf [VerfasserIn] ; Montpellier [MitwirkendeR]; Croitoru, Madalina [MitwirkendeR]; Bisquert, Pierre [MitwirkendeR]

    Defeasible reasoning for existential rules ; Raisonnement défaisable dans les règles existentielles

    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, 2018-07-09

  9. Rocher, Swan [VerfasserIn] ; Montpellier [MitwirkendeR]; Mugnier, Marie-Laure [MitwirkendeR]

    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 [VerfasserIn] ; Université de Montpellier (2022-.) [MitwirkendeR]; Mugnier, Marie-Laure [MitwirkendeR]

    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

  12. Davies, Malcolm [VerfasserIn]

    ‘All’ and ‘Nothing’: Existential Riddles and Cosmic Pessimism in Ancient Greek Literature and Shakespeare

    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.

    Erschienen in: Gaia : revue interdisciplinaire sur la Grèce Archaïque ; Vol. 18, n° 1, pp. 455-469

  13. Gottlob, Georg [VerfasserIn]; Manna, Marco [VerfasserIn]; Marte, Cinzia [VerfasserIn]

    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 [VerfasserIn]; Lukasiewicz, Thomas [VerfasserIn]; Malizia, Enrico [VerfasserIn]; Vaicenavičius, Andrius [VerfasserIn]

    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 [VerfasserIn]; Malizia, Enrico [VerfasserIn]; Molinaro, Cristian [VerfasserIn]

    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 [VerfasserIn]; Krötzsch, Markus [VerfasserIn]

    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 [VerfasserIn]; Greco, Sergio [VerfasserIn]; Molinaro, Cristian [VerfasserIn]; Trubitsyna, Irina [VerfasserIn]

    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

  19. Yun, Bruno [VerfasserIn] ; Montpellier [MitwirkendeR]; Croitoru, Madalina [MitwirkendeR]; Thomopoulos, Rallou [MitwirkendeR]

    Argumentation techniques for existential rules ; Techniques d'argumentation pour les règles existentielles

    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-07-11

  20. GOTTLOB, GEORG; MANNA, MARCO; MARTE, CINZIA

    Dyadic Existential Rules

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 2024

    Erschienen in: Theory and Practice of Logic Programming