Attribut:Title
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A Formal Definition for Expressive Power of Knowledge Representation Languages +
A Formal Definition for Expressive Power of Knowledge Representation Languages +
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
A Formal Theory of Justifications +
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 General First-Order Solution to the Ramification Problem +
A General Form of Attribute Exploration +
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 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 +
A Geo-ontology Design Pattern for Semantic Trajectories +
