Sebastian Rudolph

Computational Logic Group , TU Dresden , Germany

12 papers in the IJCAI proceedings

IJCAI 2023

Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

with Lucía Gómez Álvarez, Hannes Strass

doi:10.24963/ijcai.2023/363

Details PDF

IJCAI 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

with Camille Bourgaux, David Carral, Markus Krötzsch, Michaël Thomazo

doi:10.24963/ijcai.2022/733

Details PDF

IJCAI 2019

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

with Bartosz Bednarczyk

doi:10.24963/ijcai.2019/212

Details PDF

IJCAI 2016

Expressivity of Datalog Variants - Completing the Picture

with Michaël Thomazo

Details PDF

IJCAI 2015

Characterization of the Expressivity of Existential Rule Queries

with Michaël Thomazo

Details PDF

Membership Constraints in Formal Concept Analysis

with Christian Sacarea, Diana Troanca

Details PDF

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks

with Sarah Alice Gaggl, Hannes Strass

Details PDF

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)

with Pierre Bourhis, Markus Krötzsch

Details PDF

IJCAI 2011

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

with Markus Krötzsch

doi:10.5591/978-1-57735-516-8/IJCAI11-166

Details PDF

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ

with Magdalena Ortiz, Mantas Simkus

doi:10.5591/978-1-57735-516-8/IJCAI11-178

Details PDF

Reasoning-Supported Interactive Revision of Knowledge Bases

with Nadeschda Nikitina, Birte Glimm

doi:10.5591/978-1-57735-516-8/IJCAI11-176

Details PDF

Walking the Complexity Lines for Generalized Guarded Existential Rules

with Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo

doi:10.5591/978-1-57735-516-8/IJCAI11-126

Details PDF