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
- 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)
- Datei:FAIA245-0505.pdf + (10:34:34, 5 January 2021)
- Datei:25854.pdf + (10:40:22, 5 January 2021)
- Abstract Dialectical Frameworks: Properties, Complexity, and Implementation + (10:40:34, 5 January 2021)
- Datei:Kg2020-exercise-8.pdf + (17:27:16, 5 January 2021)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + (07:32:00, 6 January 2021)
- Datei:KG2020-Lecture-10-overlay.pdf + (12:18:08, 7 January 2021)
- Datei:KG2020-Lecture-09-overlay.pdf + (12:18:19, 7 January 2021)
- Alexander Krause + (12:24:10, 7 January 2021)
- David Carral + (12:38:05, 7 January 2021)
- New Member: Stefan Ellmauthaler + (13:28:41, 7 January 2021)
- Datei:FS20-uebung-09.pdf + (14:08:44, 7 January 2021)
- Datei:PSSAI T5.pdf + (07:00:44, 8 January 2021)
- Neuer Mitarbeiter: Stefan Ellmauthaler + (14:05:08, 8 January 2021)
- Datei:FS2020-Vorlesung-18-overlay.pdf + (09:57:11, 9 January 2021)
- Datei:FS2020-Vorlesung-19-overlay.pdf + (09:57:22, 9 January 2021)
- Datei:KRR-lecture-10.pdf + (13:51:58, 10 January 2021)
- Introduction to Formal Concept Analysis + (19:23:36, 10 January 2021)
- Abschlussarbeiten betreut durch [[Jonas Karge]] + (12:58:08, 11 January 2021)
- Abschlussarbeiten betreut durch [[Jonas Karge]] + (12:58:08, 11 January 2021)
- Datei:FS2020-Vorlesung-20-overlay.pdf + (13:26:37, 11 January 2021)
- Datei:Argumentation - Problems.pdf + (17:28:35, 11 January 2021)
- Datei:Yin-gromann-rudolph-2020.pdf + (12:45:37, 12 January 2021)
- Neural Machine Translating from Natural Language to SPARQL + (12:45:43, 12 January 2021)
- Datei:Kg2020-exercise-9.pdf + (13:13:30, 12 January 2021)
