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
- Question Answering over Real-World Knowledge Graphs + (Question Answering over Real-World Knowledge Graphs)
- Question Answering over Real-World Knowledge Graphs + (Question Answering over Real-World Knowledge Graphs)
- Quine's Fluted Fragment + (Quine's Fluted Fragment)
- Quine's Fluted Fragment + (Quine's Fluted Fragment)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web)
- Quotation in Formal Logics and the Web + (Quotation in Formal Logics and the Web)
- Quotation in Formal Logics and the Web + (Quotation in Formal Logics and the Web)
- RBAC Authorization Decision with DL Reasoning + (RBAC Authorization Decision with DL Reasoning)
- RDF syntax normalization using XML validation + (RDF syntax normalization using XML validation)
- RFuzzy Framework + (RFuzzy Framework)
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming + (RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming)
- RFuzzy: An Expressive Simple Fuzzy Compiler + (RFuzzy: An Expressive Simple Fuzzy Compiler)
- RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog + (RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog)
- Rafael Peñaloza Nyssen + (Rafael Peñaloza Nyssen)
- Rafael Peñaloza Nyssen + (Rafael Peñaloza Nyssen)
- Rajab Aghamov + (Rajab Aghamov)
- Rajeev Goré + (Rajeev Goré)
- Rajeev Goré + (Rajeev Goré)
- Ramona Behling + (Ramona Behling)
- Ramona Behling + (Ramona Behling)
- Rare-Event Verification for Stochastic Hybrid Systems + (Rare-Event Verification for Stochastic Hybrid Systems)
- Ratio and Weight Quantiles + (Ratio and Weight Quantiles)
- Rational Models of Normal Logic Programs + (Rational Models of Normal Logic Programs)
- Rational Models of Normal Logic Programs + (Rational Models of Normal Logic Programs)
- Raum APB 1004 + (Raum APB 1004)
- Raum APB 2004 + (Raum APB 2004)
- Raum APB 2017 + (Raum APB 2017)
- Raum APB 2018 + (Raum APB 2018)
- Raum APB 2021 + (Raum APB 2021)
- Raum APB 2031 + (Raum APB 2031)
- Raum APB 2033 + (Raum APB 2033)
- Raum APB 2034 + (Raum APB 2034)
- Raum APB 2035 + (Raum APB 2035)
- Raum APB 2036 + (Raum APB 2036)
- Raum APB 2039 + (Raum APB 2039)
- Raum APB 2048 + (Raum APB 2048)
- Raum APB 3004 + (Raum APB 3004)
- Raum APB 3005 + (Raum APB 3005)
- Raum APB 3006 + (Raum APB 3006)
- Raum APB 3007 + (Raum APB 3007)
- Raum APB 3008 + (Raum APB 3008)
- Raum APB 3009 + (Raum APB 3009)
- Raum APB 3010 + (Raum APB 3010)
- Raum APB 3018 + (Raum APB 3018)
- Raum APB 3020 + (Raum APB 3020)
- Raum APB 3021 + (Raum APB 3021)
- Raum APB 3023 + (Raum APB 3023)
- Raum APB 3024 + (Raum APB 3024)
- Raum APB 3027 + (Raum APB 3027)
- Raum APB 3029 + (Raum APB 3029)
- Raum APB 3030 + (Raum APB 3030)