Proceedings

Carsten Lutz

Leipzig University; Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)

31 papers in the IJCAI proceedings

IJCAI 2023

SAT-Based PAC Learning of Description Logic Concepts
with Balder ten Cate, Maurice Funk, Jean Christoph Jung
doi:10.24963/ijcai.2023/373
Details PDF

IJCAI 2022

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
with Maurice Funk, Jean Christoph Jung
doi:10.24963/ijcai.2022/364
Details PDF

IJCAI 2021

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
with Maurice Funk, Jean Christoph Jung
doi:10.24963/ijcai.2021/260
Details PDF

IJCAI 2020

A Journey into Ontology Approximation: From Non-Horn to Horn
with Anneke Haga, Johannes Marti, Frank Wolter
doi:10.24963/ijcai.2020/253
Details PDF

IJCAI 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
with Maurice Funk, Jean Christoph Jung, Hadrien Pulcini, Frank Wolter
doi:10.24963/ijcai.2019/233
Details PDF
Ontology Approximation in Horn Description Logics
with Anneke Bötcher, Frank Wolter
doi:10.24963/ijcai.2019/218
Details PDF

IJCAI 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
with Pablo Barceló, Gerald Berger, Andreas Pieris
doi:10.24963/ijcai.2018/236
Details PDF
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
with Cristina Feier, Frank Wolter
doi:10.24963/ijcai.2018/250
Details PDF
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
with Andre Hernich, Fabio Papacchini, Frank Wolter
doi:10.24963/ijcai.2018/257
Details PDF

IJCAI 2017

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
with Leif Sabellek
doi:10.24963/ijcai.2017/164
Details PDF
Query Conservative Extensions in Horn Description Logics with Inverse Roles
with Jean Christoph Jung, Mauricio Martel, Thomas Schneider
doi:10.24963/ijcai.2017/155
Details PDF

IJCAI 2016

Conservative Rewritability of Description Logic TBoxes
with Boris Konev, Frank Wolter, Michael Zakharyaschev
Details PDF
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
with Meghyn Bienvenu, Peter Hansen, Frank Wolter
Details PDF
Query-Based Entailment and Inseparability for ALC Ontologies
with Elena Botoeva, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Details PDF

IJCAI 2015

Efficient Query Rewriting in the Description Logic EL and Beyond
with Peter Hansen, Inanç Seylan, Frank Wolter
Details PDF
Ontology-Mediated Queries with Closed Predicates
with Inanç Seylan, Frank Wolter
Details PDF
Schema.org as a Description Logic
with André Hernich, Ana Ozaki, Frank Wolter
Details PDF

IJCAI 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics
with Meghyn Bienvenu, Frank Wolter
Details PDF
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes)
with Inanç Seylan, Frank Wolter
Details PDF

IJCAI 2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
with Robert Piro, Frank Wolter
doi:10.5591/978-1-57735-516-8/IJCAI11-169
Details PDF
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
with Frank Wolter
doi:10.5591/978-1-57735-516-8/IJCAI11-170
Details PDF
The Combined Approach to Ontology-Based Data Access
with Roman Kontchakov, David Toman, Frank Wolter, Michael Zakharyaschev
doi:10.5591/978-1-57735-516-8/IJCAI11-442
Details PDF

IJCAI 2009

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System
with David Toman, Frank Wolter
Details PDF
Query Answering in Description Logics with Transitive Roles
with Thomas Eiter, Magdalena Ortiz, Mantas Simkus
Details PDF

IJCAI 2007

A Description Logic of Change
with Alessandro Artale, David Toman
Details PDF
Conjunctive Query Answering for the Description Logic SHIQ
with Birte Glimm, Ian Horrocks, Ulrike Sattler
Details PDF
Conservative Extensions in Expressive Description Logics
with Dirk Walther, Frank Wolter
Details PDF

IJCAI 2005

Pushing the EL Envelope
with Franz Baader, Sebastian Brandt
Details PDF

IJCAI 2003

Keys, Nominals, and Concrete Domains
with Carlos Areces, Ian Horrocks, Ulrike Sattler
Details PDF

IJCAI 2001

Interval-based Temporal Reasoning with General TBoxes
Details PDF

IJCAI 1999

Reasoning with Concrete Domains
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards