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
- 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)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (13:24:02, 7 April 2021)
- The role of pragmatics in solving the Winograd Schema Challenge + (13:28:25, 7 April 2021)
- Talking about Forests: an Example of Sharing Information Expressed with Vague Terms + (13:31:24, 7 April 2021)
- Ambiguity: What is it that needs representing and what needs resolving? + (13:35:37, 7 April 2021)
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (13:42:07, 7 April 2021)
- Defining Relations: a general incremental approach with spatial temporal case studies + (13:46:10, 7 April 2021)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (13:52:15, 7 April 2021)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics + (15:14:57, 7 April 2021)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics + (15:14:57, 7 April 2021)
- An Introduction to Proof Theory I: Sequent Calculus + (19:44:06, 7 April 2021)
- Logic-Based Ontology Engineering + (12:59:10, 8 April 2021)
- Einführung in die (theoretische) Informatik + (13:08:15, 8 April 2021)
- Einführung in die (theoretische) Informatik + (13:08:15, 8 April 2021)
- Logic-Based Ontology Engineering + (13:16:42, 8 April 2021)
- Description Logic + (13:35:08, 8 April 2021)
- Seminar Theoretical Computer Science "Learning in Description logics" + (13:52:27, 8 April 2021)
- Seminar Theoretical Computer Science "Learning in Description logics" + (13:52:27, 8 April 2021)