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
- 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)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Gaggl kr 2024.pdf)
- Simulating Sets in Answer Set Programming + (Gaggl-Hanisch-Kroetzsch ASP-with-sets IJCAI2022 talk-slides.pdf)
- Navigating ASP Solution Spaces + (Gaggl_nmr_2024.pdf)
- Discovering Implicational Knowledge in Wikidata + (HMS19-icfca-discovering-wikidata.pdf)
- Visualization of Statistical Information in Concept Lattice Diagrams + (ICFCA-2021-statistical-diagrams.pdf)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) + (IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf)
- Efficient Dependency Analysis for Rule-Based Ontologies + (ISWC 2022 Dependency Talk.pdf)
- Exploring Faulty Data + (Icfca-2015-talk.pdf)
- Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (Icfca2013-talk.pdf)
- Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj + (Icfca2013-tutorial-talk.pdf)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (Iclp 2015 gaggl.pdf)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (Iclp_2015_gaggl.pdf)
- Towards a General Argumentation System based on Answer-Set Programming + (Iclpdc2010 gaggl slides.pdf)
- On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks + (Ijcai 2015 gaggl.pdf)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (Irina Dragoste -presentation.pdf)
- Attributed Description Logics: Reasoning on Knowledge Graphs + (KMOT18-attributed-dls-slides.pdf)
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules + (KR 2023 Short Paper Talk - Lyon.pdf)
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (KR2024-GomezAlvarez-Standpoint SHIQ.pdf)
