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 Brief Introduction to Formal Concept Analysis + (A Brief Introduction to Formal Concept Analysis)
- A Calculus of Order and Interaction + (A Calculus of Order and Interaction)
- A Calculus of Order and Interaction + (A Calculus of Order and Interaction)
- A Categorical Characterization of Consistency Results + (A Categorical Characterization of Consistency Results)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (A Chomsky-Schützenberger Theorem for Weighted Automata with Storage)
- A Closer Look at the Semantic Relationship between Datalog and Description Logics + (A Closer Look at the Semantic Relationship between Datalog and Description Logics)
- A Compact Encoding of Pseudo-Boolean Constraints into SAT + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)
- A Compact Encoding of Pseudo-Boolean Constraints into SAT + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)
- A Compositional Framework for Controller Synthesis + (A Compositional Framework for Controller Synthesis)
- A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation + (A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation)
- A Computational Logic Approach to Human Reasoning + (A Computational Logic Approach to Human Reasoning)
- A Computational Logic Approach to Syllogisms in Human Reasoning + (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 Abstract and the Social Case of the Selection Task)
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task + (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 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)
