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

Boontawee (Meng) Suntisrivaraporn + (Boontawee (Meng) Suntisrivaraporn)
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning + (Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning)
Bound Your Models! How to Make OWL an ASP Modeling Language + (Bound Your Models! How to Make OWL an ASP Modeling Language)
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals)
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying)
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying)
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying)
Brave and Cautious Reasoning in EL + (Brave and Cautious Reasoning in EL)
Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following + (Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following)
Breaking the Limits of Redundancy Systems Analysis + (Breaking the Limits of Redundancy Systems Analysis)
Bridging the Application Knowledge Gap + (Bridging the Application Knowledge Gap)
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis + (Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis)
Business and Industry + (Business and Industry)
Business and Industry + (Business and Industry)
Business lexicography + (Business lexicography)
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting + (Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting)
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting + (Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting)
CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann + (CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann)
CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann + (CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann)
CAPTCHA! Machines learn to act from humans who don't understand what they know. Blackmarket for Useful Knowledge and Non-Knowledge Nr. 23 + (CAPTCHA! Machines learn to act from humans who don't understand what they know. Blackmarket for Useful Knowledge and Non-Knowledge Nr. 23)
CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23 + (CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23)
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing)
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing)
CEL—A Polynomial-time Reasoner for Life Science Ontologies + (CEL—A Polynomial-time Reasoner for Life Science Ontologies)
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL + (CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL)
CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies + (CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies)

CMS Research Project “Model Checking” + (CMS Research Project “Model Checking”)
CMS Research Project “Model Checking” + (CMS Research Project “Model Checking”)
CMS Research Project “Model Checking” + (CMS Research Project “Model Checking”)

COBRA, a Demo + (COBRA, a Demo)
CPEC + (CPEC)
CPEC + (CPEC)
CPrAA -- A Checker for Probabilistic Abstract Argumentation + (CPrAA -- A Checker for Probabilistic Abstract Argumentation)
Call for Papers (Deadline Extended)Discrete Applied MathematicsSpecial Issue: The Eleventh International Conference on Concept Lattices and Their ApplicationsKošice, Slovakia, October 2014 + (Call for Papers (Deadline Extended)Discrete Applied MathematicsSpecial Issue: The Eleventh International Conference on Concept Lattices and Their ApplicationsKošice, Slovakia, October 2014)
Call for Papers: Special Issue of Discrete Applied Mathematics for CLA 2014 + (Call for Papers: Special Issue of Discrete Applied Mathematics for CLA 2014)
Calvin Chau + (Calvin Chau)
Camille Bourgaux + (Camille Bourgaux)
Camille Bourgaux + (Camille Bourgaux)
Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics + (Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics)
Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics + (Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics)
Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?)
Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?)
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable + (Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Capturing Homomorphism-Closed Decidable Queries with Existential Rules)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Capturing Homomorphism-Closed Decidable Queries with Existential Rules)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Capturing Homomorphism-Closed Decidable Queries with Existential Rules)
Cardinality Resolution in Unsatisfiability Proofs + (Cardinality Resolution in Unsatisfiability Proofs)
Cardinality Restrictions on Concepts + (Cardinality Restrictions on Concepts)
Cardinality Restrictions on Concepts + (Cardinality Restrictions on Concepts)
Cardinality Restrictions on Concepts + (Cardinality Restrictions on Concepts)
Carsten Lutz + (Carsten Lutz)
Carsten Lutz + (Carsten Lutz)
Case-Based Support System for Treatment of Pain Diseases + (Case-Based Support System for Treatment of Pain Diseases)