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
- 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)
- Formalizing Possibly Infinite Trees of Finite Degree + (Gerlach-Leaning-In-2025-Talk-Slides.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)
- Tutorial on Multi-Context Stream Reasoning + (Ki2020-mcs-tutorial.pdf)
- Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem + (Kodis Talk Bins.pdf)
- Reasoning in Semantic Wikis + (Kroetzsch Reasoning Web Semantic Wikis 2007.pdf)
- Too Much Information: Can AI Cope With Modern Knowledge Graphs? + (Kroetzsch-AI-Knowledge-Graphs-ICFCA-2019-talk-slides.pdf)
- On Logics and Homomorphism Closure + (LICS 2021 homclosure.pdf)
- Finite Model Theory of the Triguarded Fragment and Related Logics + (LICS-TGF-FMP.pdf)
- Towards Mass Spectrum Analysis with ASP + (LPNMR2024 Kuechenmeister Slides.pdf)
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets + (LR-JELIA23-talk.pdf)
- Experience Based Nonmonotonic Reasoning + (Lpnmr2013-talk.pdf)
- Logic on MARS: Ontologies for generalised property graphs + (MKT2017-MARS-Talk.pdf)
- Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (Malyshev-et-al-Wikidata-SPARQL-ISWC-2018-talk-slides.pdf)
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (Msobapa final.pdf)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) + (NMR2024-Presentation-Gerlach.pdf)
- Complexities of Nominal Schemas + (Nominal-schema-complexity-DL-2014.pdf)
- Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis + (Obiedkov-sertkaya.pdf)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (Phd-defense.pdf)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (Pres.pdf)
- Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (Presentation ESWC ROWL.pdf)
- Taming Dilation in Imprecise Pooling + (Prima slides karge.pdf)
- Extracting Confident General Concept Inclusions from Finite Interpretations + (Quantla-seminar-talk-20121016.pdf)
- Membership Constraints in Formal Concept Analysis + (RST-IJCAI2015-slides.pdf)
- Semantic Characterizations of AGM Revision for Tarskian Logics + (RuleML+RR Slides.pdf)
- What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation? + (SSA2024-AFT.pdf)
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics + (Slides NMR2012 gaggl.pdf)
- cf2 Semantics Revisited + (Slides comma10 gaggl.pdf)
- Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets + (Slides ecsqaru gaggl2011.pdf)
- A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation + (Slides rigorosum Gaggl2013.pdf)
