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
- 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)
- DeciGUT + (15:30:43, 18 March 2021)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + (11:46:41, 19 March 2021)
- Problem Solving and Search in Artificial Intelligence + (16:29:21, 22 March 2021)
- Advanced Problem Solving and Search + (16:30:09, 22 March 2021)
- Datei:CMS-LM-Option1-Team.png + (18:58:20, 29 March 2021)
- Datei:CMS-LM-Option2-Advanced.png + (18:59:43, 29 March 2021)
- Datei:LICS2021.png + (16:06:19, 3 April 2021)
- ICCL Researchers Score Four Papers at LICS 2021 + (16:22:28, 3 April 2021)
- ICCL mit gleich vier Papieren bei LICS 2021 vertreten + (22:39:14, 3 April 2021)
- Theoretische Informatik und Logik + (10:19:07, 6 April 2021)
- Benutzer:Karina Adler + (11:09:08, 6 April 2021)
- Karina Adler + (11:12:55, 6 April 2021)
- Raum APB 2017 + (11:38:19, 6 April 2021)
- Room APB 2017 + (11:38:19, 6 April 2021)
- Room APB 2004 + (11:38:42, 6 April 2021)
- Raum APB 2018 + (11:39:25, 6 April 2021)
- Room APB 2018 + (11:39:25, 6 April 2021)
- Raum APB 2004 + (12:03:40, 6 April 2021)