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