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:DBT2018-Lecture-12-overlay.pdf  + (20:30:37, 16 June 2018)
• Datei:DBT2018-Lecture-11-print.pdf  + (20:31:27, 16 June 2018)
• Datei:TheoLog2018-Vorlesung-17-overlay.pdf  + (09:07:11, 18 June 2018)
• Datei:TheoLog2018-Vorlesung-17-print.pdf  + (09:07:23, 18 June 2018)
• Datei:Deduction-Systems-2018-V05-ASP-Intro.pdf  + (09:10:03, 18 June 2018)
• Datei:TR-combined-6.pdf  + (09:42:46, 18 June 2018)
• Datei:Tutorial7.pdf  + (11:46:02, 18 June 2018)
• Datei:Ml-4.pdf  + (05:24:56, 19 June 2018)
• Datei:DBT2018-Lecture-13-overlay.pdf  + (12:46:44, 19 June 2018)
• Datei:DBT2018-Lecture-13-print.pdf  + (12:46:54, 19 June 2018)
• Datei:DBT2018-Lecture-14-overlay.pdf  + (12:47:07, 19 June 2018)
• Datei:DBT2018-Lecture-14-print.pdf  + (12:47:16, 19 June 2018)
• Datei:DBT2018-Exercise-09.pdf  + (16:08:33, 19 June 2018)
• Datei:TR-combined-7.pdf  + (17:40:53, 19 June 2018)
• Datei:TR-combined-8.pdf  + (19:09:48, 19 June 2018)
• Datei:TR-combined-9.pdf  + (10:59:21, 20 June 2018)
• Datei:TheoLog18-uebung-10.pdf  + (07:30:26, 21 June 2018)
• Datei:Ml-5.pdf  + (09:48:14, 21 June 2018)
• An A-Maze-ing SAT Solving Visualization  + (09:02:48, 22 June 2018)
• Datei:TheoLog2018-Vorlesung-18-overlay.pdf  + (12:53:44, 24 June 2018)
• Datei:TheoLog2018-Vorlesung-18-print.pdf  + (12:53:54, 24 June 2018)
• Datei:TheoLog2018-Vorlesung-19-overlay.pdf  + (09:45:44, 25 June 2018)
• Datei:TheoLog2018-Vorlesung-19-print.pdf  + (09:45:55, 25 June 2018)
• Datei:Tutorial8.pdf  + (11:49:29, 25 June 2018)
• Datei:Ml-6.pdf  + (05:14:30, 26 June 2018)

• Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation  + (10:15:33, 26 June 2018)

• Datei:DBT2018-Lecture-15-overlay.pdf  + (20:04:15, 26 June 2018)
• Datei:DBT2018-Lecture-15-print.pdf  + (20:04:27, 26 June 2018)
• Datei:DBT2018-Lecture-16-overlay.pdf  + (20:04:52, 26 June 2018)
• Datei:DBT2018-Lecture-16-print.pdf  + (20:05:01, 26 June 2018)
• Datei:TheoLog18-uebung-11.pdf  + (10:29:54, 27 June 2018)
• Datei:Solution-exercise-2.pdf  + (08:34:21, 28 June 2018)
• Datei:DBT2018-Exercise-10.pdf  + (09:51:38, 28 June 2018)
• Datei:TheoLog2018-Vorlesung-20-overlay.pdf  + (12:09:44, 29 June 2018)
• Datei:TheoLog2018-Vorlesung-20-print.pdf  + (12:09:53, 29 June 2018)
• A Dichotomy for Evaluating Simple Regular Path Queries  + (12:16:03, 29 June 2018)
• Datei:Graph-schema.pdf  + (11:16:07, 2 July 2018)
• Datei:2018-amw-graph-schema.pdf  + (11:17:02, 2 July 2018)
• Datei:TheoLog2018-Vorlesung-21-overlay.pdf  + (12:51:25, 2 July 2018)
• Datei:TheoLog2018-Vorlesung-21-print.pdf  + (12:51:41, 2 July 2018)
• Datei:Deduction-Systems-2018-V06-ASP-Solving.pdf  + (12:57:52, 2 July 2018)
• Datei:DBT2018-Lecture-17-overlay.pdf  + (13:16:45, 3 July 2018)
• Datei:DBT2018-Lecture-17-print.pdf  + (13:17:07, 3 July 2018)
• Datei:DBT2018-Lecture-18-overlay.pdf  + (13:17:16, 3 July 2018)
• Datei:DBT2018-Lecture-18-print.pdf  + (13:17:26, 3 July 2018)
• Datei:Ml-7.pdf  + (05:28:43, 4 July 2018)
• Datei:Ml-8.pdf  + (05:31:44, 4 July 2018)
• Datei:TheoLog18-uebung-12.pdf  + (11:35:45, 4 July 2018)
• Datei:ISWC 2017 2nd Version.pdf  + (11:11:41, 6 July 2018)
• Datei:2018-ijcar-restricted-chase-implementation.pdf  + (07:57:42, 7 July 2018)
• Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation  + (16:05:57, 8 July 2018)