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

• Characterizing the semantics of terminological cycles in ALN using finite automata  + (Characterizing the semantics of terminological cycles in ALN using finite automata)
• Characterizing the semantics of terminological cycles with the help of finite automata  + (Characterizing the semantics of terminological cycles with the help of finite automata)
• Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions  + (Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions)
• Chase Termination Beyond Polynomial Time  + (Chase Termination Beyond Polynomial Time)
• Chase Termination Beyond Polynomial Time  + (Chase Termination Beyond Polynomial Time)
• Chase Termination Beyond Polynomial Time  + (Chase Termination Beyond Polynomial Time)
• Chase-Based Computation of Cores for Existential Rules  + (Chase-Based Computation of Cores for Existential Rules)
• Chase-Based Computation of Cores for Existential Rules  + (Chase-Based Computation of Cores for Existential Rules)
• Chase-Based Computation of Cores for Existential Rules  + (Chase-Based Computation of Cores for Existential Rules)
• Chase-Based Computation of Cores for Existential Rules  + (Chase-Based Computation of Cores for Existential Rules)
• Chase-Based Computation of Cores for Existential Rules  + (Chase-Based Computation of Cores for Existential Rules)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract))
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Chasing Sets: How to Use Existential Rules for Expressive Reasoning)
• Chasing Streams with Existential Rules  + (Chasing Streams with Existential Rules)
• Cheap Boolean Role Constructors for Description Logics  + (Cheap Boolean Role Constructors for Description Logics)
• Cheap Boolean Role Constructors for Description Logics  + (Cheap Boolean Role Constructors for Description Logics)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (Checking Chase Termination over Ontologies of Existential Rules with Equality)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (Checking Chase Termination over Ontologies of Existential Rules with Equality)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (Checking Chase Termination over Ontologies of Existential Rules with Equality)
• Checking Equivalence for Reo Networks  + (Checking Equivalence for Reo Networks)
• 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)