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

Blackhole Pushdown Automata + (Blackhole Pushdown Automata)
Blackhole State-Controlled Regulated Pushdown Automata + (Blackhole State-Controlled Regulated Pushdown Automata)
Blocking Automata for PSPACE DLs + (Blocking Automata for PSPACE DLs)
Blocking and Pinpointing in Forest Tableaux + (Blocking and Pinpointing in Forest Tableaux)
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition + (Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition)
Formale Systeme + (Bonusmaterial: Zusammenfassung)
Boolean Functions with Ordered Domains in Answer Set Programming + (Boolean Functions with Ordered Domains in Answer Set Programming)
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)
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 lexicography + (Business lexicography)
Knowledge Representation and Reasoning Seminar + (CANCELD: Talk by Norbert Manthey on "The 'Parallel SAT' Research Project")
Concurrency Theory + (CCS and Bisimilarity)
Concurrency Theory + (CCS and Internal Activities)
Models of Concurrent Systems + (CCS, Bisimilarity Conclusions / Introduction to Petri Nets)
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”)

SAT-Solving + (CNF Benchmark)
COBRA, a Demo + (COBRA, a Demo)
Foundations of Constraint Programming + (CP in a Nutshell)
Foundations of Constraint Programming + (CP in a Nutshell)
Foundations of Constraint Programming + (CP in a Nutshell)
Foundations of Constraint Programming + (CP in a Nutshell)
Foundations of Constraint Programming + (CP in a Nutshell)
CPrAA -- A Checker for Probabilistic Abstract Argumentation + (CPrAA -- A Checker for Probabilistic Abstract Argumentation)
Foundations of Databases and Query Languages + (CQ Optimisation and FO Expressivity)
Foundations of Databases and Query Languages + (CQ Optimisation and FO Expressivity)
Database Theory + (CQ Optimisation and FO Expressivity)
Database Theory + (CQ Optimisation and FO Expressivity)
Problem Solving and Search in Artificial Intelligence + (CSP)
Problem Solving and Search in Artificial Intelligence + (CSP)
Problem Solving and Search in Artificial Intelligence + (CSP)
Problem Solving and Search in Artificial Intelligence + (CSP)
Problem Solving and Search in Artificial Intelligence + (CSP)
Problem Solving and Search in Artificial Intelligence + (CSP)
Advanced Problem Solving and Search + (CSP)
Advanced Problem Solving and Search + (CSP)
Advanced Problem Solving and Search + (CSP)
Advanced Problem Solving and Search + (CSP)
Advanced Problem Solving and Search + (CSP)
Advanced Problem Solving and Search + (CSP)