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

Room HÜL/S386 + (Room HÜL/S386)
Room REC 118 + (Room REC 118)
Room REC C118 + (Room REC C118)
Room S12-14, 646B + (Room S12-14, 646B)
Room SCH A252 + (Room SCH A252)
Room SCH/A215 + (Room SCH/A215)
Room TOE/317/H + (Room TOE/317/H)
Rough EL Classification + (Rough EL Classification)
Roughening the EL Envelope + (Roughening the EL Envelope)
Roy Dyckhoff + (Roy Dyckhoff)
Roy Dyckhoff + (Roy Dyckhoff)
Rui Zhang + (Rui Zhang)
Rui Zhang + (Rui Zhang)
Rule Extraction from Trained ANN: A Survey + (Rule Extraction from Trained ANN: A Survey)
Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (Rule-Based OWL Modeling with ROWLTab Protégé Plugin)
Rule-Based Reasoning + (Rule-Based Reasoning)
Runtime Characterisation of Triple Stores + (Runtime Characterisation of Triple Stores)
Runtime Verification Using a Temporal Description Logic + (Runtime Verification Using a Temporal Description Logic)
Runtime Verification Using a Temporal Description Logic Revisited + (Runtime Verification Using a Temporal Description Logic Revisited)
Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited + (Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited)
Rushing and Strolling among Answer Sets - Navigation Made Easy + (Rushing and Strolling among Answer Sets - Navigation Made Easy)
Rushing and Strolling among Answer Sets - Navigation Made Easy + (Rushing and Strolling among Answer Sets - Navigation Made Easy)
Rushing and Strolling among Answer Sets - Navigation Made Easy + (Rushing and Strolling among Answer Sets - Navigation Made Easy)
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract) + (Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract))
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract) + (Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract))
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian + (Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian)

SAT Encoding of Unification in EL + (SAT Encoding of Unification in EL)
SAT Encoding of Unification in EL + (SAT Encoding of Unification in EL)

SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies)
SAT Solving - Scheduling, Generic CDCL, Partitioning + (SAT Solving - Scheduling, Generic CDCL, Partitioning)
SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition + (SAT solver of the Knowledge Representation and Reasoning group wins medals at international competition)
SAT-Based Analysis and Quantification of Information Flow in Programs + (SAT-Based Analysis and Quantification of Information Flow in Programs)
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies)
SAT-Solving + (SAT-Solving)
SAT-Solving + (SAT-Solving)
SAT-Solving + (SAT-Solving)
SAT-Solving + (SAT-Solving)
SAT-Solving + (SAT-Solving)
SAT-Solving + (SAT-Solving)
SAT-Solving (SudokuSAT) + (SAT-Solving (SudokuSAT))
SAT-Solving (SudokuSAT) + (SAT-Solving (SudokuSAT))
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6) + (SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6))
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT + (SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT)
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability + (SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability)
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability + (SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability)
SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge + (SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge)
SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge + (SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge)
SECAI + (SECAI)
SECAI + (SECAI)
SECAI is Launched at Inaugural Meeting in Dresden + (SECAI is Launched at Inaugural Meeting in Dresden)
SECAI startet mit Antrittstreffen in Dresden + (SECAI startet mit Antrittstreffen in Dresden)
SECAI.Café at ICCL + (SECAI.Café at ICCL)