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 Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
- A Journey to the Frontiers of Query Rewritability +
- A Modified Supervaluationist Framework for Decision-Making +
- A Semantic Modeling Approach for Video Retrieval by Content +
- Acyclicity Conditions and their Application to Query Answering in Description Logics +
- Admissibility in Probabilistic Argumentation +
- Approximate Computation of Exact Association Rules +
- Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition +
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics +
- Conjunctive Queries for EL with Role Composition +
- Consistency Checking in Applications based on Fuzzy Rules +
- Constructible differentially finite algebraic series in several variables +
- Control of an Engineering-Structured Multilevel Discrete-Event System +
- Coprocessor 2.0 - A flexible CNF Simplifier +
- Declarative Strategies for Agents with Incomplete Knowledge +
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi +
- Detecting Synonymous Properties by Shared Data-driven Definitions +
- Discovering Implicational Knowledge in Wikidata +
- Efficient OWL Reasoning with Logic Programs - Evaluations +
- Efficient Parallel Dictionary Encoding for RDF Data +
- Exact Learning Description Logic Ontologies from Data Retrieval Examples +
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data +
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics +
- Expressing Self-Referential Usage Policies for the Semantic Web +
- Expressiveness of guarded existential rule languages +
- Extending the Combined Approach Beyond Lightweight Description Logics +
- FCPlanner: A Planning Strategy for First-Order MDPs +
- Flag & Check: Data Access with Monadically Defined Queries +
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) +
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics +
- Intensional Question Answering using ILP: What does an answer mean? +
- Learning Terminological Knowledge with High Confidence from Erroneous Data +
- Modal Logics with Composition on Finite Forests: Expressivity and Complexity +
- Modeling and Querying Video Data: A Hybrid Approach +
- On boolean combinations forming piecewise testable languages +
- On the Succinctness of Closure Operator Representations +
- Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract +
- Practical Reasoning with Nominals in the EL Family of Description Logics +
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming +
- RFuzzy: An Expressive Simple Fuzzy Compiler +
- Representing and Reasoning on Conceptual Queries Over Image Databases +
- Reusing Ontological Background Knowledge in Semantic Wikis +
- Rushing and Strolling among Answer Sets - Navigation Made Easy +
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Say "No" to Grounding: An Inference Algorithm for First-Order MDPs +
- Semantic Wikipedia (ESWC2006 demo) +
