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

• Extending Description Logic Rules  + (17:51:27, 10 February 2017)
• An Ontology Design Pattern for Cartographic Map Scaling  + (17:57:20, 10 February 2017)
• Datei:Dresden-schon.pdf  + (08:32:07, 13 February 2017)
• Datei:2017-hrclws-mpts.pdf  + (10:03:12, 15 February 2017)
• Datei:ISWC2016-Part1-cover.jpg  + (10:59:42, 15 February 2017)
• Datei:ISWC2016-Part2-cover.jpg  + (12:11:20, 15 February 2017)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I  + (12:17:42, 15 February 2017)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II  + (12:18:58, 15 February 2017)
• Coprocessor  + (10:22:23, 17 February 2017)
• Riss - including Pcasso and Priss  + (10:24:09, 17 February 2017)
• Solving Angry Birds with Reinforcement Learning  + (09:47:08, 20 February 2017)
• Datei:Ourmvdfjournal.pdf  + (18:34:43, 23 February 2017)
• Datei:Ourmvdjournal.pdf  + (20:14:58, 23 February 2017)
• Benutzer:Sascha Klüppelholz  + (19:40:22, 24 February 2017)
• Datei:Gruppenfoto-algi-2016-05.jpg  + (15:40:14, 27 February 2017)
• Algebraic and Logical Foundations of Computer Science  + (15:41:32, 27 February 2017)
• Publikationen der Gruppe Verifikation und formale quantitative Analyse  + (15:41:36, 27 February 2017)
• Publications of Group Verifikation und formale quantitative Analyse  + (15:41:42, 27 February 2017)
• Verifikation und formale quantitative Analyse: Abgeschlossene Arbeiten  + (15:41:47, 27 February 2017)
• Verification and formal quantitative Analysis: Completed Theses  + (15:41:48, 27 February 2017)
• Datei:Small-SK.jpg  + (15:46:55, 27 February 2017)
• Sascha Klüppelholz  + (15:48:52, 27 February 2017)
• Datei:Small-CB.jpg  + (15:52:51, 27 February 2017)
• Christel Baier  + (15:54:11, 27 February 2017)
• Solving Angry Birds with Reinforcement Learning  + (16:03:55, 27 February 2017)

• Solving Angry Birds with Reinforcement Learning  + (16:03:56, 27 February 2017)

• Solving Angry Birds with Reinforcement Learning  + (16:05:34, 27 February 2017)
• Aktivitaet2045  + (16:24:01, 27 February 2017)
• Aktivitaet2046  + (16:28:27, 27 February 2017)
• Programming Machine Ethics  + (16:30:06, 27 February 2017)
• Aktivitaet2033  + (16:30:30, 27 February 2017)
• Aktivitaet2034  + (16:30:53, 27 February 2017)
• Aktivitaet2047  + (16:33:27, 27 February 2017)
• Aktivitaet2036  + (16:34:45, 27 February 2017)
• Publikationen von Christel Baier  + (09:24:43, 28 February 2017)
• Publications of Christel Baier  + (09:24:44, 28 February 2017)
• Automata, Logic, Algebra... What do they have in common?  + (11:52:33, 28 February 2017)
• Vorlage:Abschlussarbeit  + (12:59:14, 28 February 2017)
• On the Computation of Naive-based Argumentation Semantics  + (14:39:18, 28 February 2017)
• Theoretische Informatik und Logik  + (08:57:00, 2 March 2017)
• Aktivitaet2037  + (13:05:42, 2 March 2017)
• Neues Online-Portal des International Center for Computational Logic geht ans Netz  + (13:09:39, 2 March 2017)
• Aktivitaet2035  + (13:15:01, 2 March 2017)
• 2004 Teaching Award by the Association of Friends and Sponsors of the TU Dresden  + (13:21:33, 2 March 2017)
• ArgLP 2015  + (13:22:05, 2 March 2017)
• Logic  + (13:23:14, 2 March 2017)
• Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online  + (13:25:46, 2 March 2017)
• Logic  + (13:26:07, 2 March 2017)
• Reasonable Highly Expressive Query Languages: Extended Technical Report  + (13:30:01, 2 March 2017)
• Aktivitaet2024  + (13:39:08, 2 March 2017)
• Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden)  + (13:55:01, 2 March 2017)