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 Calculus of Order and Interaction +
- A Correspondance between Temporal Description Logics +
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +
- A Database Approach for Modeling and Querying Video Data +
- A Database Approach for Modeling and Querying Video Data +
- A Description Logic with Concrete Domains and Role-forming Predicates +
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 +
- A NExpTime-complete Description Logic Strictly Contained in C^2 +
- A PSpace Algorithm for Graded Modal Logic +
- A PSpace-algorithm for ALCQI-satisfiability +
- A Semantic Modeling Approach for Video Retrieval by Content +
- A Suggestion for an n-ary Description Logic +
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains +
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks +
- Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract) +
- Combining Equational Theories Sharing Non-Collapse-Free Constructors +
- Complexity of Terminological Reasoning Revisited +
- Computing Least Common Subsumers in Description Logics with Existential Restrictions +
- Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems +
- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors +
- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach +
- Expressive Number Restrictions in Description Logics +
- Hybrid Neural Systems +
- Logic-Based Knowledge Representation +
- Matching Concept Descriptions with Existential Restrictions Revisited +
- Matching in Description Logics +
- Matching in Description Logics with Existential Restrictions +
- Matching in Description Logics with Existential Restrictions +
- On the Complexity of Counting in Description Logics +
- On the Complexity of Terminological Reasoning +
- On the Semantic Foundations of Probabilistic Synchronous Reactive Programs +
- Optimisation Techniques for Combining Constraint Solvers +
- Optimisation of Terminological Reasoning +
- PSpace Reasoning for DLs with Qualifying Number Restrictions +
- Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies +
- Practical Reasoning for Expressive Description Logics +
- Query Containment Using a DLR ABox +
- Reasoning with Concrete Domains +
- Representing and Reasoning on Conceptual Queries Over Image Databases +
- Representing and Reasoning on Conceptual Queries Over Image Databases +
- Rewriting Concepts Using Terminologies +
- Rewriting Concepts Using Terminologies – Revisited +
- Rewriting Concepts using Terminologies +
- Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams +
- Term Rewriting and All That +
- The Complexity of Reasoning with Concrete Domains (Revised Version) +
- The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus +
