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

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

Autorzy: Bartosz Bednarczyk
Opublikowane w: Logical Methods in Computer Science, Numer Volume 20, Numer 2, 2024, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(2:7)2024

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Autorzy: Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Opublikowane w: KI - Künstliche Intelligenz, Numer 34/3, 2020, Strona(/y) 389-394, ISSN 0933-1875
Wydawca: Springer
DOI: 10.1007/s13218-020-00669-4

Nested sequents for intermediate logics: the case of Gödel-Dummett logics

Autorzy: Tim S. Lyon
Opublikowane w: Journal of Applied Non-Classical Logics, Numer 33, 2023, Strona(/y) 121-164, ISSN 1166-3081
Wydawca: Taylor and Francis
DOI: 10.1080/11663081.2023.2233346

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

Autorzy: Lyon, Tim S.; Shillito, Ian; Tiu, Alwen
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer 23, 2025, Strona(/y) 41:1-41:23, ISSN 1868-8969
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.48550/arxiv.2404.15855

About the Expressive Power and Complexity of Order-Invariance with Two Variables

Autorzy: Bartosz Bednarczyk, Julien Grange
Opublikowane w: Logical Methods in Computer Science, Numer Volume 21, Numer 1, 2025, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-21(1:30)2025

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

Autorzy: Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
Opublikowane w: Journal of Artificial Intelligence Research, Numer 70, 2021, Strona(/y) 1-64, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11348

The classification of homomorphism homogeneous tournaments

Autorzy: Thomas Feller, Christian Pech, Maja Pech
Opublikowane w: European Journal of Combinatorics, Numer 89, 2020, Strona(/y) 103142, ISSN 0195-6698
Wydawca: Academic Press
DOI: 10.1016/j.ejc.2020.103142

Decidability of Querying First-Order Theories via Countermodels of Finite Width

Autorzy: Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Opublikowane w: Logical Methods in Computer Science, Numer Volume 21, Numer 2, 2025, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-21(2:7)2025

How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC

Autorzy: Bartosz Bednarczyk, Sebastian Rudolph
Opublikowane w: Journal of Artificial Intelligence Research, Numer 78, 2023, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14482

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations

Autorzy: Tim S. Lyon
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer Volume 326, 2025, Strona(/y) pp. 42:1-42:23, ISSN 1868-8969
Wydawca: Schloss Dagstuhl - Leibniz Center for Informatics
DOI: 10.4230/lipics.csl.2025.42

Proof Theory and Decision Procedures for Deontic STIT Logics

Autorzy: Tim S. Lyon, Kees Van Berkel
Opublikowane w: Journal of Artificial Intelligence Research, Numer 81, 2024, Strona(/y) 837-876, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.15710

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

Autorzy: Kees van Berkel, Tim S. Lyon, Matteo Pascucci
Opublikowane w: Journal of Philosophical Logic, Numer 52, 2023, Strona(/y) 1475-1516, ISSN 0022-3611
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10992-023-09714-7

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

Autorzy: Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Opublikowane w: Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 2023, Strona(/y) 8:1-18:18
Wydawca: Leibniz-Zentrum für Informatik GmbH
DOI: 10.4230/lipics.icdt.2023.18

Standpoint Linear Temporal Logic

Autorzy: Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Opublikowane w: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Strona(/y) 311-321
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/31

Nested Sequents for First-Order Modal Logics via Reachability Rules

Autorzy: Lyon, Tim S.
Opublikowane w: Automated Reasoning with Analytic Tableaux and Related Methods, Numer 4, 2023
Wydawca: Springer
DOI: 10.48550/arxiv.2210.00789

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement

Autorzy: Tim S. Lyon
Opublikowane w: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), 2021, Strona(/y) pp 409-427
Wydawca: SpringerLink
DOI: 10.1007/978-3-030-86059-2_24

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Autorzy: Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Opublikowane w: LIPIcs–Leibniz International Proceedings in Informatics, 2021, Strona(/y) 20:1–120:17
Wydawca: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.icalp.2021.120

Sequentiality of Group-Weighted Tree Automata

Autorzy: Frederic Dörband, Thomas Feller, Kevin Stier
Opublikowane w: International Conference on Language and Automata Theory and Applications (LATA 2021), Numer 2021, 2021, Strona(/y) pp 267–278
Wydawca: SpringerLink
DOI: 10.1007/978-3-030-68195-1_21

Data Complexity in Expressive Description Logics with Path Expressions

Autorzy: Bartosz Bednarczyk
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Strona(/y) 3241-3249
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/359

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence

Autorzy: Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
Opublikowane w: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent System, 2024, Strona(/y) 983-991
Wydawca: ACM Digital Library
DOI: 10.5555/3635637.3662953

Towards Model Theory of Ordered Logics: Expressivity and Interpolation

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

Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

Autorzy: Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Opublikowane w: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Strona(/y) 3258-3267
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2023/363

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Autorzy: Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Opublikowane w: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Strona(/y) 333-343
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/33

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Autorzy: Bednarczyk, Bartosz; Kojelis, Daumantas; Pratt-Hartmann, Ian
Opublikowane w: Bednarczyk , B , Kojelis , D & Pratt-Hartmann , I 2023 , On the Limits of Decision: the Adjacent Fragment of First-Order Logic . in 50th International Colloquium on Automata, Languages, and Programming : (ICALP 2023) . https://doi.org/10.4230/LIPIcs.ICALP.2023.111, Numer 1, 2023
Wydawca: Schloss Dagstuhl - Leibniz Center for Informatics
DOI: 10.4230/lipics.icalp.2023.111

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules

Autorzy: Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Strona(/y) 574-584
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/54

Finite Model Theory of the Triguarded Fragment and Related Logics

Autorzy: Emanuel Kieronski, Sebastian Rudolph
Opublikowane w: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470734

Semantic Characterizations of AGM Revision for Tarskian Logics

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

How to Agree to Disagree

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

A Journey to the Frontiers of Query Rewritability

Autorzy: Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
Opublikowane w: Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 2022, Strona(/y) 359-367
Wydawca: ACM Digital Library
DOI: 10.1145/3517804.3524163

Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities

Autorzy: Lucía Gómez Álvarez, Sebastian Rudolph
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Strona(/y) 383-393, ISBN 978-1-956792-05-8
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/36

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

Autorzy: Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Opublikowane w: Proceedings of the 32nd International Workshop on Description Logics, Numer 2373, 2019, ISSN 1613-0073
Wydawca: CEUR.org

The Power of the Terminating Chase (Invited Talk)

Autorzy: Krötzsch, Markus ; Marx, Maximilian ; Rudolph, Sebastian
Opublikowane w: 22nd International Conference on Database Theory (ICDT 2019), Numer 127, 2019, ISBN 978-3-95977-101-6
Wydawca: 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

Autorzy: Bartosz Bednarczyk, Sebastian Rudolph
Opublikowane w: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Strona(/y) 1530-1536, ISBN 978-0-9992411-4-1
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/212

The Triguarded Fragment of First-Order Logic

Autorzy: Sebastian Rudolph, Mantas Simkus
Opublikowane w: EPiC Series in Computing volume 57, Numer vol 57, 2018, Strona(/y) 604-587, ISSN 2398-7340
Wydawca: EasyChair
DOI: 10.29007/m8ts

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

Autorzy: Bartosz Bednarczyk, Sebastian Rudolph
Opublikowane w: Proceedings of the 32nd International Workshop on Description Logics, Numer 2373, 2019, ISSN 1613-0073
Wydawca: CEUR.org

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

Autorzy: Herrmann, Luisa; Peth, Vincent; Rudolph, Sebastian
Opublikowane w: Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures, Numer 11, 2024, ISSN 1868-8969
Wydawca: Schloss Dagstuhl - Leibniz Center for Informatics
DOI: 10.48550/arxiv.2305.01962

Approximated Determinisation of Weighted Tree Automata

Autorzy: Frederic Dörband, Thomas Feller, Kevin Stier
Opublikowane w: International Conference on Language and Automata Theory and Applications (LATA 2021), Numer LATA2021, 2021, Strona(/y) pp 255–266
Wydawca: SpringerLink
DOI: 10.1007/978-3-030-68195-1_20

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

Autorzy: Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
Opublikowane w: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Strona(/y) 1719-1725, ISBN 978-0-9992411-6-5
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/238

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

Autorzy: Timothy S. Lyon, Jonas Karge
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Strona(/y) 3484-3492
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/386

Decidability of Quasi-Dense Modal Logics

Autorzy: Tim Lyon, Piotr Ostropolski-Nalewaja
Opublikowane w: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Numer 60, 2024, Strona(/y) 1-8
Wydawca: ACM, LICS'24
DOI: 10.1145/3661814.3662111

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

Autorzy: Bednarczyk, Bartosz; Rudolph, Sebastian
Opublikowane w: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Strona(/y) 5495-5502
Wydawca: PKP Publishing Services Network
DOI: 10.1609/aaai.v36i5.20488

A Framework for Reasoning about Dynamic Axioms in Description Logics

Autorzy: Bartosz Bednarczyk, Stephane Demri, Alessio Mansutti
Opublikowane w: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Strona(/y) 1681-1687, ISBN 978-0-9992411-6-5
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/233

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

Autorzy: Tim S. Lyon, Piotr Ostropolski-Nalewaja
Opublikowane w: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Strona(/y) 769-773
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/79

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying

Autorzy: Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Opublikowane w: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Strona(/y) 291-302
Wydawca: ACM
DOI: 10.1145/3584372.3588659

On Logics and Homomorphism Closure

Autorzy: Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Opublikowane w: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470511

Automating Reasoning with Standpoint Logic via Nested Sequents

Autorzy: Tim Lyon, Lucía Gómez Álvarez
Opublikowane w: In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Main Track., 2022, Strona(/y) 257-266
Wydawca: IJCAI Organization
DOI: 10.24963/kr.2022/26

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

Autorzy: Bartosz Bednarczyk, Emanuel Kieroński
Opublikowane w: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Strona(/y) 5487--5494
Wydawca: PKP Publishing Services Network
DOI: 10.1609/aaai.v36i5.20487

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Autorzy: Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Opublikowane w: Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 2021, Strona(/y) 141-150
Wydawca: International Joint Conferences on Artificial Intelligence (IJCAI)
DOI: 10.24963/ijcai.2022/733

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

Autorzy: Tim S. Lyon, Sebastian Rudolph
Opublikowane w: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2023, Strona(/y) 369-384
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_26

Beyond $$\mathcal {ALC}_{\textsf {reg}}$$: Exploring Non-Regular Extensions of PDL with Description Logics Features

Autorzy: Bartosz Bednarczyk
Opublikowane w: Lecture Notes in Computer Science, Logics in Artificial Intelligence, 2023, Strona(/y) 289-305
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43619-2_21

A Framework for Intuitionistic Grammar Logics

Autorzy: Tim S. Lyon
Opublikowane w: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Numer 13040, 2021, Strona(/y) 495-503, ISBN 978-3-030-89390-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-89391-0_29

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

Autorzy: Bartosz Bednarczyk
Opublikowane w: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Numer 12678, 2021, Strona(/y) 179-193, ISBN 978-3-030-75774-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-75775-5_13

Temporally Attributed Description Logics

Autorzy: Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Opublikowane w: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Numer 11560, 2019, Strona(/y) 441-474, ISBN 978-3-030-22101-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-22102-7_21

Explaining Data with Formal Concept Analysis

Autorzy: Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Opublikowane w: Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Numer 11810, 2019, Strona(/y) 153-195, ISBN 978-3-030-31422-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-31423-1_5

SPARQL Queries over Ontologies Under the Fixed-Domain Semantics

Autorzy: Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
Opublikowane w: 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, Numer 11670, 2019, Strona(/y) 486-499, ISBN 978-3-030-29907-1
Wydawca: 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

Autorzy: “Johann” Sebastian Rudolph
Opublikowane w: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Numer 11560, 2019, Strona(/y) 542-561, ISBN 978-3-030-22101-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-22102-7_25

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

Autorzy: Tim S. Lyon
Opublikowane w: Fundamentals of Software Engineering, 2025, Strona(/y) 113–119
Wydawca: Springer

Publikacje

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony