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
- Walter Forkel + (21:45:11, 24 February 2021)
- Pavlos Marantidis + (21:46:42, 24 February 2021)
- Maximilian Pensel + (21:49:21, 24 February 2021)
- Benjamin Zarrieß + (21:51:49, 24 February 2021)
- Datei:FS20-musterklausur.pdf + (11:16:42, 25 February 2021)
- Datei:FS20-musterklausur-slides.pdf + (11:17:02, 25 February 2021)
- Vorlage:Person list + (10:29:50, 26 February 2021)
- Investigating the Dimensions of Spatial Language + (10:48:46, 26 February 2021)
- Vorlage:GroupedPersonList + (11:04:26, 26 February 2021)
- Datei:BBR-ECAI2020-extended.pdf + (11:31:39, 27 February 2021)
- Datei:BBR-DL-2019.pdf + (13:08:27, 27 February 2021)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (13:10:11, 27 February 2021)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (14:21:49, 27 February 2021)
- Vorlage:Publication data + (14:50:40, 27 February 2021)
- Vorlage:Image line medium + (16:56:59, 27 February 2021)
- Datei:Shima6.jpg + (22:15:46, 27 February 2021)
- Shima Asaadi + (22:15:50, 27 February 2021)
- Erklärung zur Barrierefreiheit + (22:44:41, 27 February 2021)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (09:18:08, 1 March 2021)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (09:21:06, 1 March 2021)
- Datei:BBE-CSL17.pdf + (12:40:21, 4 March 2021)
- Datei:BBE-FSTTCS17.pdf + (12:42:20, 4 March 2021)
- Datei:DL19-BBE-SRU.pdf + (12:43:06, 4 March 2021)
- Datei:BBE-JELIA19.pdf + (12:43:50, 4 March 2021)
- Datei:BBE-IJCAI19.pdf + (12:44:29, 4 March 2021)
- Datei:BBE-LICS19.pdf + (12:45:04, 4 March 2021)
- Datei:BBE-LICS20.pdf + (12:45:54, 4 March 2021)
- Datei:BBE-IJCAI20-Sep.pdf + (12:46:37, 4 March 2021)
- Datei:BBE-IJCAI20-Chases.pdf + (12:47:28, 4 March 2021)
- Datei:BBE-TIME-20.pdf + (12:48:10, 4 March 2021)
- Datei:BBE-FOSSACS-21.pdf + (12:51:03, 4 March 2021)
- Datei:BBE-TCS-20.pdf + (12:52:51, 4 March 2021)
- Datei:BBE-IPL21.pdf + (12:53:48, 4 March 2021)
- Datei:BBE-TCSv2.pdf + (13:04:07, 4 March 2021)
- Finite and algorithmic model theory + (15:33:06, 4 March 2021)
- Datei:FS2020-Hinweise-Klausur.pdf + (13:37:51, 5 March 2021)
- Datei:ICCL-Logo-invers.png + (12:39:28, 8 March 2021)
- Datei:BBE-TPLP.pdf + (19:25:05, 10 March 2021)
- From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (11:54:33, 11 March 2021)
- Seminar Data-Aware Processes + (19:19:44, 11 March 2021)
- Datei:Kg2020-mock-exam-slides.pdf + (13:09:35, 15 March 2021)
- Seminar: Knowledge Representation + (16:57:44, 15 March 2021)
- Veröffentlichungen in 2021 + (10:14:17, 18 March 2021)
- Publications in 2021 + (10:14:38, 18 March 2021)
- Vorlage:GetLangsuffix + (10:48:03, 18 March 2021)
- Kategorie:General utility template + (10:49:33, 18 March 2021)
- Vorlage:NavigationItemWithToc + (10:49:50, 18 March 2021)
- Vorlage:HideHeading1 + (10:50:32, 18 March 2021)
- Vorlage:LeftsidenavHeading + (10:50:51, 18 March 2021)
- Vorlage:Main heading + (10:51:34, 18 March 2021)
- Vorlage:TOC CMS pages + (11:07:54, 18 March 2021)