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
- Abstract Argumentation + (Abstract Argumentation)
- Abstract Dialectical Frameworks + (Abstract Dialectical Frameworks)
- Abstract Dialectical Frameworks Revisited + (Abstract Dialectical Frameworks Revisited)
- Abstract Dialectical Frameworks Revisited + (Abstract Dialectical Frameworks Revisited)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning)
- Abstract Dialectical Frameworks. An Overview + (Abstract Dialectical Frameworks. An Overview)
- Abstract Dialectical Frameworks. An Overview + (Abstract Dialectical Frameworks. An Overview)
- Abstract Dialectical Frameworks: Properties, Complexity, and Implementation + (Abstract Dialectical Frameworks: Properties, Complexity, and Implementation)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Abstract Domains for Database Manipulating Processes + (Abstract Domains for Database Manipulating Processes)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Academic Skills in Computer Science + (Academic Skills in Computer Science)
- Accenture Award for the Best Student’s Project 2005 + (Accenture Award for the Best Student’s Project 2005)
- Access Policy Design Supported by FCA Methods + (Access Policy Design Supported by FCA Methods)
- Access restriction inside ontologies + (Access restriction inside ontologies)
- Access rights and collaborative ontology integration for reuse across security domains + (Access rights and collaborative ontology integration for reuse across security domains)
- Accessibility Statement + (Accessibility Statement)
- Achim Jung + (Achim Jung)
- Achim Jung + (Achim Jung)
- Acquiring Generalized Domain-Range Restrictions + (Acquiring Generalized Domain-Range Restrictions)
- Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies + (Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies)
- Actions and Specificity + (Actions and Specificity)
- Acyclicity Conditions and their Application to Query Answering in Description Logics + (Acyclicity Conditions and their Application to Query Answering in Description Logics)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies)
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics + (Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics)
- Adapting Methods to Novel Tasks in Proof Planning + (Adapting Methods to Novel Tasks in Proof Planning)
- Adaptive Language Interaction + (Adaptive Language Interaction)
- Adaptive Language Interaction + (Adaptive Language Interaction)
- Adding Causal Relationships to DL-based Action Formalisms + (Adding Causal Relationships to DL-based Action Formalisms)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster)
- Adding Context to Tableaux for DLs + (Adding Context to Tableaux for DLs)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification)
- Adding Numbers to the SHIQ Description Logic—First Results + (Adding Numbers to the SHIQ Description Logic—First Results)
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results + (Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results)
- Adding Threshold Concepts to the Description Logic EL + (Adding Threshold Concepts to the Description Logic EL)
- Adding Threshold Concepts to the Description Logic EL + (Adding Threshold Concepts to the Description Logic EL)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)
- Admissibility in Probabilistic Argumentation + (Admissibility in Probabilistic Argumentation)