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
- Vorlage:Bachelorarbeiten + (23:22:09, 19 March 2019)
- Vorlage:Diplomarbeiten + (23:22:18, 19 March 2019)
- Vorlage:Masterarbeiten + (23:22:27, 19 March 2019)
- Vorlage:Studienarbeiten + (23:22:37, 19 March 2019)
- Vorlage:Coins + (23:23:00, 19 March 2019)
- Neuigkeiten und Termine + (23:24:21, 19 March 2019)
- Ehemaliger + (23:24:45, 19 March 2019)
- Ehemaliger/en + (23:24:55, 19 March 2019)
- Hilfskräfte + (23:25:11, 19 March 2019)
- Vorlage:Thesis list + (23:25:41, 19 March 2019)
- Organisation + (23:26:04, 19 March 2019)
- Gäste und Externe + (23:26:36, 19 March 2019)
- Wissenschaftl. Mitarbeiter + (23:27:14, 19 March 2019)
- Professoren + (23:27:26, 19 March 2019)
- Vorlage:Navigation Studienarbeiten + (23:30:20, 19 March 2019)
- Vorlage:List projects + (23:31:15, 19 March 2019)
- Vorlage:Wiki Seite Awards nach Jahr + (23:31:41, 19 March 2019)
- Vorlage:Awards + (23:31:59, 19 March 2019)
- Vorlage:Award/en + (23:34:37, 19 March 2019)
- Room APB 3010 + (23:35:16, 19 March 2019)
- Raum APB 3035 + (23:36:53, 19 March 2019)
- Room APB 3035 + (23:36:53, 19 March 2019)
- Vorlage:Navigation Forschungsgruppen + (23:38:14, 19 March 2019)
- Vorlage:DFG-Antrag/PartnerTemplate + (23:38:35, 19 March 2019)
- Vorlage:Publikationen2 + (23:39:00, 19 March 2019)
- Vorlage:Publikationen/en + (23:39:16, 19 March 2019)
- Vorlage:Abschlussarbeit/en + (23:41:10, 19 March 2019)
- Vorlage:Veranstaltung/en + (23:41:37, 19 March 2019)
- Vorlage:Projekt/en + (23:41:55, 19 March 2019)
- Vorlage:Page about Forschungsgebiete + (23:42:09, 19 March 2019)
- Temporal Logics with Probabilistic Distributions + (16:36:23, 21 March 2019)
- Temporal Logics with Probabilistic Distributions + (16:38:23, 21 March 2019)
- Academic Skills in Computer Science + (17:25:44, 21 March 2019)
- Vorlage:Publikation Details Form + (19:12:11, 21 March 2019)
- Datei:HMS19-discovering-wikidata-tr.pdf + (19:18:10, 21 March 2019)
- Discovering Implicational Knowledge in Wikidata + (19:19:25, 21 March 2019)
- Datei:HMS19-discovering-wikidata.pdf + (19:26:08, 21 March 2019)
- Datei:Chlewe-2019.jpg + (20:22:23, 21 March 2019)
- TE-ETH: Lower Bounds for QBFs of Bounded Treewidth + (10:37:57, 25 March 2019)
- Data Science Use Cases for Lifestyle Banking + (13:33:10, 25 March 2019)
- Datei:Terminating-Chase-Power-ICDT2019.pdf + (16:30:19, 26 March 2019)
- Datei:Terminating-Chase-Power-ICDT2019-Invited-Talk-slides.pdf + (16:36:22, 26 March 2019)
- The Power of the Terminating Chase + (16:54:07, 26 March 2019)
- The Power of the Terminating Chase + (14:35:10, 27 March 2019)
- The Power of the Terminating Chase + (14:35:11, 27 March 2019)
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization + (10:49:01, 28 March 2019)
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization + (12:04:28, 28 March 2019)
- SAT-Solving + (14:18:25, 29 March 2019)
- Knowledge Representation and Reasoning Seminar + (16:01:17, 29 March 2019)
- Database Theory + (09:12:45, 1 April 2019)
- Seminar Selected Topics on Existential Rules + (11:20:58, 1 April 2019)
