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 Computational Logic Approach to the Belief Bias Effect + (A Computational Logic Approach to the Belief Bias Effect)
- A Computational Logic Approach to the Suppression Task + (A Computational Logic Approach to the Suppression Task)
- A Computational Logic Approach to the Suppression Task + (A Computational Logic Approach to the Suppression Task)
- A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning + (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 Extended with Different Kinds of Transitive Roles)
- A Concept Language for an engeneering application with part-whole relations + (A Concept Language for an engeneering application with part-whole relations)
- A Conceptual Foundation for Autonomous Learning in Unforeseen Situations + (A Conceptual Foundation for Autonomous Learning in Unforeseen Situations)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction + (A Core Method for the Weak Completion Semantics with Skeptical Abduction)
- A Correspondance between Temporal Description Logics + (A Correspondance between Temporal Description Logics)
- A Correspondence between Temporal Description Logics + (A Correspondence between Temporal Description Logics)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation + (A Data Warehouse Conceptual Data Model for Multidimensional Aggregation)
- A Data-Driven Graph Schema + (A Data-Driven Graph Schema)
- A Database Approach for Modeling and Querying Video Data + (A Database Approach for Modeling and Querying Video Data)
- A Database Approach for Modeling and Querying Video Data + (A Database Approach for Modeling and Querying Video Data)
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms + (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 Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams)
- A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions + (A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions)
- A Description Logic Based Approach to Reasoning about Web Services + (A Description Logic Based Approach to Reasoning about Web Services)
- A Description Logic Primer + (A Description Logic Primer)
- A Description Logic Primer + (A Description Logic Primer)
- A Description Logic for Vague Knowledge + (A Description Logic for Vague Knowledge)
- A Description Logic for Vague Knowledge + (A Description Logic for Vague Knowledge)
- A Description Logic of Change + (A Description Logic of Change)
- A Description Logic with Concrete Domains and Role-forming Predicates + (A Description Logic with Concrete Domains and Role-forming Predicates)
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies + (A Description Logic with Transitive and Inverse Roles and Role Hierarchies)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (A Description Logic with Transitive and Converse Roles and Role Hierarchies)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (A Description Logic with Transitive and Converse Roles and Role Hierarchies)
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions + (A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem)
- A Finitary System for First Order Logic + (A Finitary System for First Order Logic)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (A Finite Basis for the Set of EL-Implications Holding in a Finite Model)
- A First Order System with Finite Choice of Premises + (A First Order System with Finite Choice of Premises)
- A Formal Definition for Expressive Power of Knowledge Representation Languages + (A Formal Definition for Expressive Power of Knowledge Representation Languages)
- 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 Definition for the Expressive Power of Terminological Knowledge Representation Languages)
- A Formal Theory of Justifications + (A Formal Theory of Justifications)
- A Framework For Evaluating Visual SLAM + (A Framework For Evaluating Visual SLAM)
- A Framework for Intuitionistic Grammar Logics + (A Framework for Intuitionistic Grammar Logics)
- A Framework for Reasoning about Dynamic Axioms in Description Logics + (A Framework for Reasoning about Dynamic Axioms in Description Logics)
- A Framework for Semantic-based Similarity Measures for ELH-Concepts + (A Framework for Semantic-based Similarity Measures for ELH-Concepts)
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (A Fully Connectionist Model Generator for Covered First-Order Logic Programs)
- A Fully Parallel Framework for Fast Analyzing RDF Data + (A Fully Parallel Framework for Fast Analyzing RDF Data)
- A Fuzzy Description Logic with Hedges as Concept Modifiers + (A Fuzzy Description Logic with Hedges as Concept Modifiers)
- A General First-Order Solution to the Ramification Problem + (A General First-Order Solution to the Ramification Problem)
- A General Form of Attribute Exploration + (A General Form of Attribute Exploration)
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set + (A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set)
- A Generator for Description Logic Formulas + (A Generator for Description Logic Formulas)
- A Generic Approach for Correcting Access Restrictions to a Consequence + (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)
