Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (GSOicalp.pdf)
