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: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)
- Datei:Kg2020-exercise-7.pdf + (09:55:33, 5 January 2021)
- Towards Inconsistency Management in Reactive Multi-Context Systems + (09:57:25, 5 January 2021)
- Asynchronous Multi-Context Systems + (10:03:01, 5 January 2021)
- Datei:Comma27.pdf + (10:06:41, 5 January 2021)
- The DIAMOND System for Computing with Abstract Dialectical Frameworks + (10:06:58, 5 January 2021)
- Abstract Dialectical Frameworks + (10:07:53, 5 January 2021)
- Asynchronous Multi-Context Systems + (10:10:45, 5 January 2021)
- Mulit-context systems for reactive reasoning in dynamic environments + (10:13:38, 5 January 2021)
- Multi-context systems for reactive reasoning in dynamic environments + (10:15:58, 5 January 2021)
- Datei:ICCSW-6.pdf + (10:19:48, 5 January 2021)
- Generalizing multi-context systems for reactive stream reasoning applications + (10:20:02, 5 January 2021)
- Datei:ASPOCP13-6.pdf + (10:25:16, 5 January 2021)
- Datei:IJCAI13-199.pdf + (10:30:21, 5 January 2021)
- Abstract Dialectical Frameworks Revisited + (10:31:20, 5 January 2021)
