Suche mittels Attribut

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

• 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)