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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- ??? +
- A "Converse" of the Banach Contraction Mapping Theorem +
- A Behavioral Characterization of Computational Systems +
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Computational Logic Approach to Syllogisms in Human Reasoning +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Belief Bias Effect +
- A Computational Logic Approach to the Suppression Task +
- A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Concept Language for an engeneering application with part-whole relations +
- A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +
- A Correspondance between Temporal Description Logics +
- A Correspondence 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 Data-Driven Graph Schema +
- A Database Approach for Modeling and Querying Video Data +
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
- A Description Logic Based Approach to Reasoning about Web Services +
- A Description Logic for Vague Knowledge +
- A Description Logic of Change +
- A Description Logic with Concrete Domains and Role-forming Predicates +
- A Description Logic with Transitive and Converse Roles and Role Hierarchies +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Formal Definition for Expressive Power of Knowledge Representation Languages +
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
- A Framework For Evaluating Visual SLAM +
- A Framework for Intuitionistic Grammar Logics +
- A Framework for Reasoning about Dynamic Axioms in Description Logics +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Fully Parallel Framework for Fast Analyzing RDF Data +
- A Fuzzy Description Logic with Hedges as Concept Modifiers +
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set +
- A Generator for Description Logic Formulas +
- A Generic Approach for Correcting Access Restrictions to a Consequence +
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
- A Generic Model for Video Content Based Retrieval +
- A Generic Querying Algorithm for Greedy Sets of Existential Rules +
