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
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Query Rewriting for DL-Lite with n-ary Concrete Domains)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Query Rewriting for DL-Lite with n-ary Concrete Domains)
- Query Stability in Data-aware Business Processes + (Query Stability in Data-aware Business Processes)
- Query Stability in Data-aware Business Processes + (Query Stability in Data-aware Business Processes)
- Query and Predicate Emptiness in Description Logics + (Query and Predicate Emptiness in Description Logics)
- Query-Based Access Control for Ontologies + (Query-Based Access Control for Ontologies)
- Querying Probabilistic Ontologies + (Querying Probabilistic Ontologies)
- Querying Probabilistic Ontologies + (Querying Probabilistic Ontologies)
- Querying Wikidata with GraphQL + (Querying Wikidata with GraphQL)
- Querying Wikidata with GraphQL + (Querying Wikidata with GraphQL)
- Querying formal contexts with answer set programs + (Querying formal contexts with answer set programs)
- Question Answering Systems + (Question Answering Systems)
- Question Answering Systems + (Question Answering Systems)
- 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)
