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

• Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules  + (14:50:15, 23 December 2020)
• Datei:Main reviews third round withHighlighing-1.pdf  + (19:50:49, 23 December 2020)
• Datei:0167739X.jpg  + (19:52:51, 23 December 2020)
• Datei:FCT-WS2020-Lecture-Video-10.mkv  + (11:55:11, 28 December 2020)
• Datei:Space-hierarchy-gap-print.pdf  + (10:52:23, 30 December 2020)
• Datei:Space-hierarchy-gap-slides.pdf  + (10:52:33, 30 December 2020)
• Datei:Space-hierarchy-gap-video.mkv  + (10:55:37, 30 December 2020)
• Datei:GagglRS2021-JAIR.pdf  + (20:33:50, 30 December 2020)
• Datei:JAIR-cover.png  + (20:39:14, 30 December 2020)
• Datei:Ladner-print.pdf  + (11:39:30, 31 December 2020)
• Datei:Ladner-slides.pdf  + (11:39:40, 31 December 2020)
• Datei:Ladner-video.mkv  + (11:41:56, 31 December 2020)
• Datei:Ladner-bgs-print.pdf  + (18:52:54, 31 December 2020)
• Datei:Ladner-bgs-slides.pdf  + (18:53:09, 31 December 2020)
• Datei:Ladner-bgs.mkv  + (18:56:29, 31 December 2020)
• Datei:Alternation-print.pdf  + (15:49:29, 1 January 2021)
• Datei:Alternation-slides.pdf  + (15:49:38, 1 January 2021)
• Datei:Alternation-video.mkv  + (15:52:41, 1 January 2021)
• Datei:Poly-hierarchy-print.pdf  + (17:02:50, 1 January 2021)
• Datei:Poly-hierarchy-slides.pdf  + (17:03:00, 1 January 2021)
• Datei:Poly-hierarchy-video.mkv  + (17:05:10, 1 January 2021)
• Datei:Circuits-print.pdf  + (17:12:31, 1 January 2021)
• Datei:Circuits-slides.pdf  + (17:12:55, 1 January 2021)
• Datei:Inconsistency Handling - Problems.pdf  + (21:07:46, 3 January 2021)
• Datei:9-Termination.mkv  + (23:25:33, 3 January 2021)

• Datei:Lecture-7.mkv  + (23:26:06, 3 January 2021)

• Datei:Time-hierarchy-print.pdf  + (11:57:42, 4 January 2021)
• Datei:Time-hierarchy-slides.pdf  + (11:57:59, 4 January 2021)
• Publikationen von Stefan Ellmauthaler  + (15:06:28, 4 January 2021)
• Stefan Ellmauthaler  + (15:06:28, 4 January 2021)
• Publications of Stefan Ellmauthaler  + (15:06:28, 4 January 2021)
• Abschlussarbeiten betreut durch [[Stefan Ellmauthaler]]  + (15:06:28, 4 January 2021)
• Abschlussarbeiten betreut durch [[Stefan Ellmauthaler]]  + (15:06:29, 4 January 2021)
• Benutzer:Stefan Ellmauthaler  + (15:08:23, 4 January 2021)
• Datei:Stefan ellmauthaler.jpg  + (15:14:35, 4 January 2021)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms  + (16:08:37, 4 January 2021)
• Datei:KRR-lecture-9.pdf  + (16:35:09, 4 January 2021)
• Datei:FS2020-Vorlesung-17-overlay.pdf  + (22:25:02, 4 January 2021)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (08:38:40, 5 January 2021)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (08:45:39, 5 January 2021)
• Datei:Phd ellmauthaler.pdf  + (08:54:08, 5 January 2021)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (08:55:47, 5 January 2021)
• Advanced Solving Technology for Dynamic and Reactive Applications  + (09:01:22, 5 January 2021)
• Abstract Dialectical Frameworks. An Overview  + (09:08:45, 5 January 2021)
• Datei:Handbooks00003.jpg  + (09:18:19, 5 January 2021)
• Datei:GoDIAMOND.pdf  + (09:29:18, 5 January 2021)
• goDIAMOND 0.6.6 - ICCMA 2017 System Description  + (09:29:34, 5 January 2021)
• DIAMOND 3.0 - A Native C++ Implementation of DIAMOND  + (09:35:58, 5 January 2021)
• Inconsistency management in reactive multi-context systems  + (09:41:17, 5 January 2021)
• Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments  + (09:46:46, 5 January 2021)
• Stream Packing for Asynchronous Multi-Context Systems using ASP  + (09:51:07, 5 January 2021)