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
- 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)
