Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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