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
- Privacy-Preserving Ontology Publishing for EL Instance Stores + (15:10:57, 9 January 2019)
- Knowledge Graph Embedding + (15:16:04, 9 January 2019)
- Datei:Sudoku-beispiele.zip + (07:49:28, 11 January 2019)
- Datei:Lecture-10.pdf + (08:17:58, 11 January 2019)
- Datei:Hofa img.jpg + (09:34:22, 11 January 2019)
- Datei:Sheet-3.pdf + (08:19:11, 14 January 2019)
- Datei:CT-WS2018-exercise-10.pdf + (10:55:52, 14 January 2019)
- Ontology-Based Query Answering for Probabilistic Temporal Data + (12:27:05, 14 January 2019)
- Datei:Kg2018-exercise-11-quality-validation.pdf + (00:17:34, 15 January 2019)
- Doctoral or postdoctoral researcher (f/m/d): Abstract Argumentation and Non-Monotonic Reasoning + (07:21:22, 15 January 2019)
- Stellenausschreibung10 + (07:27:29, 15 January 2019)
- Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019 + (08:01:42, 15 January 2019)
- New Member: M.Sc. Ali Elhalawati + (08:34:20, 15 January 2019)
- Datei:CT2018-Lecture-22-overlay.pdf + (10:09:08, 15 January 2019)
- Datei:CT2018-Lecture-22-print.pdf + (10:09:17, 15 January 2019)
- Datei:CT2018-Lecture-23-overlay.pdf + (10:09:27, 15 January 2019)
- Datei:CT2018-Lecture-23-print.pdf + (10:09:36, 15 January 2019)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (12:30:14, 15 January 2019)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (14:35:31, 15 January 2019)
- Restricted chase (non)termination for existential rules with disjunctions + (17:35:56, 15 January 2019)
- Deciding Universality of ptNFAs is PSpace-Complete + (19:39:16, 15 January 2019)
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (10:13:07, 17 January 2019)
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (10:15:03, 17 January 2019)
- Datei:Sheet-4.pdf + (12:15:12, 17 January 2019)
- SudokuSAT + (14:17:59, 17 January 2019)
- Publications in 2019 + (08:10:09, 18 January 2019)
- Datei:Portrait Gaggl WP.jpg + (08:10:27, 18 January 2019)
- Veröffentlichungen in 2019 + (08:10:28, 18 January 2019)
- Datei:Lecture-11.pdf + (10:44:56, 18 January 2019)
- Datei:GRS AMW2017.pdf + (13:57:47, 18 January 2019)
- Datei:FCP2018-T6.pdf + (11:14:33, 20 January 2019)
- Foundations of Constraint Programming + (11:14:46, 20 January 2019)
- Datei:Fs 11.pdf + (17:45:05, 20 January 2019)
- Wolpertinger + (13:13:29, 21 January 2019)
- Datei:CT2018-Lecture-24-overlay.pdf + (14:51:41, 21 January 2019)
- Datei:CT2018-Lecture-24-print.pdf + (14:51:49, 21 January 2019)
- Datei:Kg2018-exercise-12-centrality.pdf + (22:15:08, 21 January 2019)
- Datei:CT-WS2018-exercise-11.pdf + (09:00:05, 22 January 2019)
- Datei:Benchmark preview.png + (19:20:32, 22 January 2019)
- Datei:Fs 12.pdf + (08:16:25, 23 January 2019)
- Datei:FLP2018-T8.pdf + (14:55:27, 23 January 2019)
- Datei:Lecture-13.pdf + (07:34:51, 25 January 2019)
- Datei:Lecture-12.pdf + (10:12:36, 25 January 2019)
- Datei:Sheet-5.pdf + (16:11:20, 25 January 2019)
- Datei:Sheet-4-sol.pdf + (16:11:46, 25 January 2019)
- Semantic Computing + (15:46:38, 27 January 2019)
- Datei:08-solutions.pdf + (08:42:15, 28 January 2019)
- Datei:09-solutions.pdf + (08:42:31, 28 January 2019)
- Introduction to Formal Concept Analysis + (08:42:34, 28 January 2019)
- Datei:KG2018-Lecture-13-overlay.pdf + (12:21:35, 28 January 2019)
- Datei:KG2018-Lecture-13-print.pdf + (12:21:44, 28 January 2019)
