Search by property

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

• Checklist  + (Checklist)
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code  + (Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code)
• Chile – A Trip Report  + (Chile – A Trip Report)
• Chile – A Trip Report  + (Chile – A Trip Report)
• Christel Baier  + (Christel Baier)
• Christel Baier  + (Christel Baier)
• Christian Al-Rabbaa  + (Christian Al-Rabbaa)
• Christian Alrabbaa  + (Christian Alrabbaa)
• Christian Lewe  + (Christian Lewe)
• Christian Lewe  + (Christian Lewe)
• Christoph Weidenbach  + (Christoph Weidenbach)
• Christoph Weidenbach  + (Christoph Weidenbach)
• Christoph Wernhard  + (Christoph Wernhard)
• Christoph Wernhard  + (Christoph Wernhard)
• Chronology of ICCL  + (Chronology of ICCL)
• Chunping Li  + (Chunping Li)
• Chunping Li  + (Chunping Li)
• Circular Belief in Logic Programming Semantics  + (Circular Belief in Logic Programming Semantics)
• Circumscription and Projection as Primitives of Logic Programming  + (Circumscription and Projection as Primitives of Logic Programming)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (Classification of the finite polymorphism-homogeneous tournaments with loops)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (Classification of the finite polymorphism-homogeneous tournaments with loops)
• Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms  + (Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms)
• Classifying Software Bug Reports Using Methods from Formal Concept Analysis  + (Classifying Software Bug Reports Using Methods from Formal Concept Analysis)
• Claudia Carapelle  + (Claudia Carapelle)
• Claudia Carapelle  + (Claudia Carapelle)

• Clause Simplifications in Search-Space Decomposition-Based SAT Solvers  + (Clause Simplifications in Search-Space Decomposition-Based SAT Solvers)

• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
• Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics  + (Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics)
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (Codifying Logical Fragments in ASP - A General Knowledge Base Approach)
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (Codifying Logical Fragments in ASP - A General Knowledge Base Approach)
• Cognitive Argumentation for Human Syllogistic Reasoning  + (Cognitive Argumentation for Human Syllogistic Reasoning)
• Cognitive Science, Computational Logic and Connectionism  + (Cognitive Science, Computational Logic and Connectionism)
• Column-Oriented Datalog Materialization for Large Knowledge Graphs  + (Column-Oriented Datalog Materialization for Large Knowledge Graphs)
• Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning  + (Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning)
• Combination Techniques and Decision Problems for Disunification  + (Combination Techniques and Decision Problems for Disunification)
• Combination Techniques and Decision Problems for Disunification  + (Combination Techniques and Decision Problems for Disunification)
• Combination Techniques and Decision Problems for Disunification  + (Combination Techniques and Decision Problems for Disunification)
• Combination of Compatible Reduction Orderings that are Total on Ground Terms  + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
• Combination of Compatible Reduction Orderings that are Total on Ground Terms  + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
• Combination of Compatible Reduction Orderings that are Total on Ground Terms  + (Combination of Compatible Reduction Orderings that are Total on Ground Terms)
• Combination of Constraint Solvers for Free and Quasi-Free Structures  + (Combination of Constraint Solvers for Free and Quasi-Free Structures)
• Combination of Constraint Solving Techniques: An Algebraic Point of View  + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
• Combination of Constraint Solving Techniques: An Algebraic Point of View  + (Combination of Constraint Solving Techniques: An Algebraic Point of View)
• Combining A1 and AC1 Unification  + (Combining A1 and AC1 Unification)
• Combining A1 and AC1 Unification  + (Combining A1 and AC1 Unification)
• Combining A1- and AC1-Unification Sharing Unit  + (Combining A1- and AC1-Unification Sharing Unit)
• Combining Belief Revision and Abstract Dialectical Frameworks  + (Combining Belief Revision and Abstract Dialectical Frameworks)
• Combining Belief Revision and Abstract Dialectical Frameworks  + (Combining Belief Revision and Abstract Dialectical Frameworks)