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
- Seminar Rule-Based Paradigms in KR + (Seminar Rule-Based Paradigms in KR)
- Seminar Rule-Based Paradigms in KR + (Seminar Rule-Based Paradigms in KR)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics of Computational Logic + (Seminar Selected Topics of Computational Logic)
- Seminar Selected Topics of Computational Logic + (Seminar Selected Topics of Computational Logic)
- Seminar Selected Topics on Existential Rules + (Seminar Selected Topics on Existential Rules)
- Seminar Selected Topics on Existential Rules + (Seminar Selected Topics on Existential Rules)
- Seminar Theoretical Computer Science + (Seminar Theoretical Computer Science)
- Seminar Theoretical Computer Science + (Seminar Theoretical Computer Science)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" + (Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting")
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" + (Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting")
- Seminar Theoretical Computer Science "Automata for Description Logics" + (Seminar Theoretical Computer Science "Automata for Description Logics")
- Seminar Theoretical Computer Science "Automata for Description Logics" + (Seminar Theoretical Computer Science "Automata for Description Logics")
- Seminar Theoretical Computer Science "Learning in Description logics" + (Seminar Theoretical Computer Science "Learning in Description logics")
- Seminar Theoretical Computer Science "Learning in Description logics" + (Seminar Theoretical Computer Science "Learning in Description logics")
- Seminar talks + (Seminar talks)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar: Further Topics in Description Logics + (Seminar: Further Topics in Description Logics)
- Seminar: Further Topics in Description Logics + (Seminar: Further Topics in Description Logics)
- Seminar: Knowledge Representation + (Seminar: Knowledge Representation)
- Seminar: Knowledge Representation + (Seminar: Knowledge Representation)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding — + (Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —)
- Senior Postdoc für wissensbasierte KI + (Senior Postdoc für wissensbasierte KI)
- Senior Postdoc in Knowledge-Based AI + (Senior Postdoc in Knowledge-Based AI)
- Senior Research Associate: Decidability in Knowledge Representation + (Senior Research Associate: Decidability in Knowledge Representation)
- Sequentiality of Group-Weighted Tree Automata + (Sequentiality of Group-Weighted Tree Automata)
- Sergei Kuznetsov + (Sergei Kuznetsov)
- Sergei Kuznetsov + (Sergei Kuznetsov)
- Sergei Obiedkov + (Sergei Obiedkov)
- Sergei Obiedkov + (Sergei Obiedkov)
- Sergei Obiedkov + (Sergei Obiedkov)
- ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web + (ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web)
- Sharing Information in Parallel Search with Search Space Partitioning + (Sharing Information in Parallel Search with Search Space Partitioning)
- Sharing Information in Parallel Search with Search Space Partitioning + (Sharing Information in Parallel Search with Search Space Partitioning)
- Shasha Feng + (Shasha Feng)
- Shasha Feng + (Shasha Feng)
- Shima Asaadi + (Shima Asaadi)
- Shima Asaadi + (Shima Asaadi)
- Shortipedia: Aggregating and Curating Semantic Web Data + (Shortipedia: Aggregating and Curating Semantic Web Data)
- Sibylle Möhle + (Sibylle Möhle)
- Sibylle Möhle + (Sibylle Möhle)