Search by property
From International Center for Computational Logic
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
- A Heuristic Search Algorithm for Solving First-Order MDPs + (Karabaev:05:01.pdf)
- Mona as a DL Reasoner + (KarabaevLutzDL04.ps.gz)
- A Modified Supervaluationist Framework for Decision-Making + (Karge.XII .2.2021-1.pdf)
- Unchain My EL Reasoner + (Kazakov-Kroetzsch-Simancik EL-chain-reasoning DL2011.pdf)
- Concurrent Classification of EL Ontologies + (Kazakov-Kroetzsch-Simancik concurrent-el-reasoning ISWC2011.pdf)
- Practical Reasoning with Nominals in the EL Family of Description Logics + (Kazakov-Kroetzsch-Simancik el-nominal-reasoning TR2011.pdf)
- Optimisation Techniques for Combining Constraint Solvers + (KepserRichts-Frocos-98.ps.gz)
- Knowledge Graphs + (Kg2018-exercise-0-setup.pdf)
- Knowledge Graphs + (Kg2018-exercise-04-sparql.pdf)
- Knowledge Graphs + (Kg2019-exercise-00.pdf)
- Knowledge Graphs + (Kg2019-exercise-01.pdf)
- Knowledge Graphs + (Kg2019-exercise-02.pdf)
- Knowledge Graphs + (Kg2019-exercise-03.pdf)
- Knowledge Graphs + (Kg2019-exercise-04.pdf)
- Knowledge Graphs + (Kg2019-exercise-05.pdf)
- Knowledge Graphs + (Kg2021-mock-exam.pdf)
- Knowledge Graphs + (Kg2024-exercise-00.pdf)
- Using OWL DL Reasoning to decide about authorization in RBAC + (KnHD-OWLED-08.pdf)
- RBAC Authorization Decision with DL Reasoning + (KnHl-ICWI-08.pdf)
- Correcting Access Restrictions to a Consequence + (KnPe-DL-10.pdf)
- A Generic Approach for Correcting Access Restrictions to a Consequence + (KnPe-ESWC-10.pdf)
- Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web + (KnSc-GeNeMe-08.pdf)
- Query-Based Access Control for Ontologies + (KnSt-RR-10.pdf)
- Access rights and collaborative ontology integration for reuse across security domains + (Knechtel-ESWC-08.pdf)
- Access restriction inside ontologies + (Knechtel-IESA-08.pdf)
- Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem + (KoDis23 paper bins.pdf)
- Logical Difference and Module Extraction with CEX and MEX + (KoLuWaWo-DL08.pdf)
- Semantic Modularity and Module Extraction in Description Logics + (KoLuWaWo-ECAI08.pdf)
- Formal Properties of Modularisation + (KoLuWaWo-ModBook08.pdf)
- CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL + (KoLuWaWo-OWLEDDC.pdf)
- Temporal Tableaux + (KoLuWoZa.ps.gz)
- A Generic Querying Algorithm for Greedy Sets of Existential Rules + (Kr-12-bmrt.pdf)
- Exact Learning of Lightweight Description Logic Ontologies + (Kr14learning.pdf)
- Foundations of Knowledge Representation + (KRR-lecture-2.pdf)
- Foundations of Knowledge Representation + (KRR-lecture3.pdf)
- Foundations of Knowledge Representation + (KRR-lecture4.pdf)
- Foundations of Knowledge Representation + (KRR-lecture5.pdf)
- Foundations of Knowledge Representation + (KRR-lecture6.pdf)
- Foundations of Knowledge Representation + (KRR-lecture7.pdf)
- Foundations of Knowledge Representation + (KRR-lecture8.pdf)
- Foundations of Knowledge Representation + (KRR-lecture-9b.pdf)
- Foundations of Knowledge Representation + (ArgumentationKR.pdf)
- Foundations of Knowledge Representation + (KRR-Lecture11.pdf)
- Foundations of Knowledge Representation + (KRR-Lecture-12.pdf)
- The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (Kr2022-0021-karge-rudolph.pdf)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Kr2024-0060-rusovac-et-al.pdf)
- Data Complexity in the EL family of DLs + (Krisnadhi-Lutz-DL07.pdf)
- Data Complexity in the EL family of Description Logics + (Krisnadhi-Lutz-LPAR07.pdf)
- Description Logic Rules + (Kroetzsch Description-Logic-Rules PhD 2010.pdf)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (Kroetzsch Into-The-Wild OpenAdvice-Chapter-3.pdf)
- Concrete Results on Abstract Rules + (Kroetzsch Magka Horrocks Abstract Rules LPNMR 2013.pdf)
