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

• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrency Theory  + (Concurrency Theory)
• Concurrent Classification of EL Ontologies  + (Concurrent Classification of EL Ontologies)
• Concurrent Production, Consumption and Occupation  + (Concurrent Production, Consumption and Occupation)
• Conditional Reasoning  + (Conditional Reasoning)
• Conditional Reasoning  + (Conditional Reasoning)
• Configuration of Inter-Process Communication with Probabilistic Model Checking  + (Configuration of Inter-Process Communication with Probabilistic Model Checking)
• Configuring BDD Compilation Techniques for Feature Models  + (Configuring BDD Compilation Techniques for Feature Models)
• Conjunctive Queries for EL with Role Composition  + (Conjunctive Queries for EL with Role Composition)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (Conjunctive Queries for a Tractable Fragment of OWL 1.1)
• Conjunctive Query Answering for Directional Rules  + (Conjunctive Query Answering for Directional Rules)
• Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics  + (Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics)
• Conjunctive Query Answering in Rough EL  + (Conjunctive Query Answering in Rough EL)
• Conjunctive Query Answering with Finitely Many Truth Degrees  + (Conjunctive Query Answering with Finitely Many Truth Degrees)
• Conjunctive Query Entailment: Decidable in Spite of O, I, and Q  + (Conjunctive Query Entailment: Decidable in Spite of O, I, and Q)
• Connecting Many-Sorted Structures and Theories through Adjoint Functions  + (Connecting Many-Sorted Structures and Theories through Adjoint Functions)
• Connecting Many-Sorted Theories  + (Connecting Many-Sorted Theories)
• Connecting Many-Sorted Theories  + (Connecting Many-Sorted Theories)
• Connecting Many-Sorted Theories  + (Connecting Many-Sorted Theories)
• Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules  + (Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules)
• Connectionist Model Generation  + (Connectionist Model Generation)
• Connectionist Model Generation: A First-Order Approach  + (Connectionist Model Generation: A First-Order Approach)
• Consequence Operators for Characterization Logics – The Case of Abstract Argumentation  + (Consequence Operators for Characterization Logics – The Case of Abstract Argumentation)
• Conservative Extensions in Expressive Description Logics  + (Conservative Extensions in Expressive Description Logics)

• Conservative Extensions in Modal Logics  + (Conservative Extensions in Modal Logics)

• Conservative Extensions in the Lightweight Description Logic EL  + (Conservative Extensions in the Lightweight Description Logic EL)
• Consistency Checking in Applications based on Fuzzy Rules  + (Consistency Checking in Applications based on Fuzzy Rules)
• Consistency Reasoning in Lattice-Based Fuzzy Description Logics  + (Consistency Reasoning in Lattice-Based Fuzzy Description Logics)
• Consistency Without Cut Elimination  + (Consistency Without Cut Elimination)
• Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices  + (Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices)
• Constraint Equational Logic Programming and Resource-Based Partial Order Planning  + (Constraint Equational Logic Programming and Resource-Based Partial Order Planning)
• Constraint Propagation and Pebble Games  + (Constraint Propagation and Pebble Games)
• Constraint Propagation and Pebble Games  + (Constraint Propagation and Pebble Games)
• Constraint Satisfaction Problems  + (Constraint Satisfaction Problems)
• Constructible differentially finite algebraic series in several variables  + (Constructible differentially finite algebraic series in several variables)
• Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents  + (Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents)
• Contact  + (Contact)
• Contact Persons  + (Contact Persons)
• Containment of Monadic Datalog  + (Containment of Monadic Datalog)
• Containment of Monadic Datalog  + (Containment of Monadic Datalog)
• Context Orbifolds  + (Context Orbifolds)
• Context Reasoning for Role-Based Models  + (Context Reasoning for Role-Based Models)
• Context Reasoning for Role-Based Models  + (Context Reasoning for Role-Based Models)
• Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies  + (Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies)
• Contexts, Concepts, and Logic of Domains  + (Contexts, Concepts, and Logic of Domains)
• Contextual Abductive Reasoning with Side-Effects  + (Contextual Abductive Reasoning with Side-Effects)
• Contextual abduction and its complexity issues  + (Contextual abduction and its complexity issues)
• Contextual reasoning: Usually birds can abductively fly  + (Contextual reasoning: Usually birds can abductively fly)
• Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks  + (Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks  + (Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks)