Search by property
From International Center for Computational Logic
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
- Academic Skills in Computer Science +
- Academic Skills in Computer Science +
- Academic Skills in Computer Science +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- Advanced Topics in Complexity Theory +
- Algorithmic Game Theory +
- Algorithmic Game Theory +
- Automata and Logic +
- CMS Research Project “Model Checking” +
- Concurrency Theory +
- Concurrency Theory +
- Concurrency Theory +
- Conditional Reasoning +
- Database Theory +
- Database Theory +
- Database Theory +
- Database Theory +
- Database Theory +
- Database Theory +
- Database Theory +
- Deduction Systems +
- Deduction Systems +
- Deduction Systems +
- Deduction Systems +
- Deduction Systems +
- Deduction Systems +
- Description Logic +
- Description Logic +
- Einführung in die (theoretische) Informatik +
- Einführung in die (theoretische) Informatik +
- Existential Rules +
- Finite and algorithmic model theory +
- First-Order Logic – Semantic and Computational Properties +
- Forschungslinie +
- Forschungslinie +
- Foundations for Machine Learning +
- Foundations for Machine Learning +
- Foundations of Databases and Query Languages +
- Foundations of Semantic Web Technologies +
- Foundations of Semantic Web Technologies +
- Foundations of Semantic Web Technologies +
- Fuzzy Informationsverarbeitung +
- Introduction to Automatic Structures +
- Introduction to Existential Rules +
- Introduction to Existential Rules +
- Knowledge Representation and Reasoning Seminar +
- Knowledge Representation and Reasoning Seminar +
- Knowledge Representation and Reasoning Seminar +
