Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Winning Snake: Design Choices in Multi-Shot ASP  + (24Snaketalk.pdf)

• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (AAAI2023-Gerlach-Carral-Slides.pdf)
• Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules  + (ALCHIQ-to-disjunctive-existential-rules IJCAI2020 slides.pdf)
• ASPARTIX-D Ready for the Competition  + (ASPARTIX-D 2015.pdf)
• Scalable Understanding: Navigation Approaches for Answer Sets  + (Aig-hagen-navas.pdf)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (BCKRT-terminating-chase-KR2021-slides.pdf)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (BMR-PODS2023-slides.pdf)
• Beam Me Up! - LaTeX-Beamer For Those Who Already Know  + (Beam-me-up.pdf)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (Bednarczyk-PhD-Defense-Slides.pdf)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (CJTKRTALK.pdf)
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces  + (COMMA-2022-NEXAS.pdf)
• Chase Termination Beyond Polynomial Time  + (Chase Termination Beyond Polynomial Time PODS Slides.pdf)
• Decomposing Abstract Dialectical Frameworks  + (Comma14 gaggl slides.pdf)
• AGM Revision in Description Logics under Fixed-Domain Semantics  + (DL-2022-MiftakhulRudolph.pdf)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (DL-2023-Gerlach-Carral-Talk.pdf)
• Reasoning with Attributed Description Logics  + (DL2017-KMOT-Reasoning-with-Attributed-DLs-slides.pdf)
• Ontologies for Knowledge Graphs?  + (DL2017-keynote-knowledge-graphs.pdf)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (Dagstuhl-vortrag.pdf)
• Nemo: A Scalable and Versatile Datalog Engine  + (Datalog20 Ivliev Slides.pdf)
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit  + (Datalog20 Ivliev Slides.pdf)
• Decomposing Finite Closure Operators by Attribute Exploration  + (Decomposing-talk.pdf)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Defence-lukas-gerlach.pdf)
• Chase-Based Computation of Cores for Existential Rules  + (Diploma-thesis-defence-lukas-gerlach.pdf)
• Context Orbifolds  + (Diplomverteidigung.pdf)
• Refining Labelled Systems for Modal and Constructive Logics with Applications  + (Dissertation Slides - Lyon.pdf)
• Uniform and Modular Sequent Systems for Description Logics  + (Dl Talk Karge.pdf)
• Efficient Model Construction for Horn Logic with VLog  + (Dl-2018-presentation-vlog.pdf)
• Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals  + (Dl2013-talk.pdf)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (Dpdb argu LPNMR 2022.pdf)
• Working with Knowledge Graphs  + (EDBT-Summer-School-2019-Knowledge-Graphs-2-rules.pdf)
• A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set  + (Enumerate-talk.pdf)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Evaluation-of-the-Generality-of-DMFA-Lukas-Gerlach-Slides.pdf)
• Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying  + (Feller Thomas ICDT23 talk.pdf)