A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

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

Auteurs: Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Publié dans: Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 2023, Page(s) 8:1-18:18
Éditeur: Leibniz-Zentrum für Informatik GmbH
DOI: 10.4230/lipics.icdt.2023.18

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Auteurs: Tim S. Lyon
Publié dans: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), 2021, Page(s) pp 409-427
Éditeur: SpringerLink
DOI: 10.1007/978-3-030-86059-2_24

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Auteurs: Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Publié dans: LIPIcs–Leibniz International Proceedings in Informatics, 2021, Page(s) 20:1–120:17
Éditeur: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.icalp.2021.120

Sequentiality of Group-Weighted Tree Automata

Auteurs: Frederic Dörband, Thomas Feller, Kevin Stier
Publié dans: International Conference on Language and Automata Theory and Applications (LATA 2021), Numéro 2021, 2021, Page(s) pp 267–278
Éditeur: SpringerLink
DOI: 10.1007/978-3-030-68195-1_21

Towards Model Theory of Ordered Logics: Expressivity and Interpolation

Auteurs: Bartosz Bednarczyk, Reijo Jaakkola
Publié dans: Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), volume 241, 2022
Éditeur: Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH
DOI: 10.4230/lipics.mfcs.2022.15

Finite Model Theory of the Triguarded Fragment and Related Logics

Auteurs: Emanuel Kieronski, Sebastian Rudolph
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470734

Semantic Characterizations of AGM Revision for Tarskian Logics

Auteurs: Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Publié dans: Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 2022
Éditeur: SpringerLink
DOI: 10.1007/978-3-031-21541-4_7

How to Agree to Disagree

Auteurs: Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Publié dans: Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, 2022
Éditeur: SpringerLink
DOI: 10.1007/978-3-031-19433-7_8

A Journey to the Frontiers of Query Rewritability

Auteurs: Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
Publié dans: Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 2022, Page(s) 359-367
Éditeur: ACM Digital Library
DOI: 10.1145/3517804.3524163

Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

Auteurs: Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Publié dans: Proceedings of the 32nd International Workshop on Description Logics, Numéro 2373, 2019, ISSN 1613-0073
Éditeur: CEUR.org

The Power of the Terminating Chase (Invited Talk)

Auteurs: Krötzsch, Markus ; Marx, Maximilian ; Rudolph, Sebastian
Publié dans: 22nd International Conference on Database Theory (ICDT 2019), Numéro 127, 2019, ISBN 978-3-95977-101-6
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icdt.2019.3

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting

Auteurs: Bartosz Bednarczyk, Sebastian Rudolph
Publié dans: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1530-1536, ISBN 978-0-9992411-4-1
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/212

The Triguarded Fragment of First-Order Logic

Auteurs: Sebastian Rudolph, Mantas Simkus
Publié dans: EPiC Series in Computing volume 57, Numéro vol 57, 2018, Page(s) 604-587, ISSN 2398-7340
Éditeur: EasyChair
DOI: 10.29007/m8ts

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting

Auteurs: Bartosz Bednarczyk, Sebastian Rudolph
Publié dans: Proceedings of the 32nd International Workshop on Description Logics, Numéro 2373, 2019, ISSN 1613-0073
Éditeur: CEUR.org

Approximated Determinisation of Weighted Tree Automata

Auteurs: Frederic Dörband, Thomas Feller, Kevin Stier
Publié dans: International Conference on Language and Automata Theory and Applications (LATA 2021), Numéro LATA2021, 2021, Page(s) pp 255–266
Éditeur: SpringerLink
DOI: 10.1007/978-3-030-68195-1_20

All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs

Auteurs: Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
Publié dans: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 1719-1725, ISBN 978-0-9992411-6-5
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/238

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard

Auteurs: Bednarczyk, Bartosz; Rudolph, Sebastian
Publié dans: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Page(s) 5495-5502
Éditeur: PKP Publishing Services Network
DOI: 10.1609/aaai.v36i5.20488

A Framework for Reasoning about Dynamic Axioms in Description Logics

Auteurs: Bartosz Bednarczyk, Stephane Demri, Alessio Mansutti
Publié dans: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 1681-1687, ISBN 978-0-9992411-6-5
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/233

On Logics and Homomorphism Closure

Auteurs: Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470511

Automating Reasoning with Standpoint Logic via Nested Sequents

Auteurs: Tim Lyon, Lucía Gómez Álvarez
Publié dans: In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Main Track., 2022, Page(s) 257-266
Éditeur: IJCAI Organization
DOI: 10.24963/kr.2022/26

Finite Entailment of Local Queries in the Z family of Description Logics

Auteurs: Bartosz Bednarczyk, Emanuel Kieroński
Publié dans: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Page(s) 5487--5494
Éditeur: PKP Publishing Services Network
DOI: 10.1609/aaai.v36i5.20487

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Auteurs: Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Publié dans: Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 2021, Page(s) 141-150
Éditeur: International Joint Conferences on Artificial Intelligence (IJCAI)
DOI: 10.24963/ijcai.2022/733

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Auteurs: Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Publié dans: KI - Künstliche Intelligenz, Numéro 34/3, 2020, Page(s) 389-394, ISSN 0933-1875
Éditeur: Springer
DOI: 10.1007/s13218-020-00669-4

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

Auteurs: Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
Publié dans: Journal of Artificial Intelligence Research, Numéro 70, 2021, Page(s) 1-64, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11348

The classification of homomorphism homogeneous tournaments

Auteurs: Thomas Feller, Christian Pech, Maja Pech
Publié dans: European Journal of Combinatorics, Numéro 89, 2020, Page(s) 103142, ISSN 0195-6698
Éditeur: Academic Press
DOI: 10.1016/j.ejc.2020.103142

A Framework for Intuitionistic Grammar Logics

Auteurs: Tim S. Lyon
Publié dans: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Numéro 13040, 2021, Page(s) 495-503, ISBN 978-3-030-89390-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-89391-0_29

Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment

Auteurs: Bartosz Bednarczyk
Publié dans: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Numéro 12678, 2021, Page(s) 179-193, ISBN 978-3-030-75774-8
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-75775-5_13

Temporally Attributed Description Logics

Auteurs: Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Publié dans: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Numéro 11560, 2019, Page(s) 441-474, ISBN 978-3-030-22101-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-22102-7_21

Explaining Data with Formal Concept Analysis

Auteurs: Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Publié dans: Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Numéro 11810, 2019, Page(s) 153-195, ISBN 978-3-030-31422-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-31423-1_5

SPARQL Queries over Ontologies Under the Fixed-Domain Semantics

Auteurs: Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
Publié dans: PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I, Numéro 11670, 2019, Page(s) 486-499, ISBN 978-3-030-29907-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-29908-8_39

Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando

Auteurs: “Johann” Sebastian Rudolph
Publié dans: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Numéro 11560, 2019, Page(s) 542-561, ISBN 978-3-030-22101-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-22102-7_25

Publications

Partager cette page

Télécharger