Search by property

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)