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
- The RustBelt and its Separation Logic + (12:28:26, 25 November 2024)
- Datei:CT2024-Lecture-11-overlay.pdf + (12:44:51, 25 November 2024)
- Datei:CT2024-Lecture-11-print.pdf + (12:44:58, 25 November 2024)
- Datei:Kg2024-exercise-05.pdf + (16:05:54, 26 November 2024)
- Datei:CT2024-Lecture-12-overlay.pdf + (16:40:14, 26 November 2024)
- Datei:CT2024-Lecture-12-print.pdf + (16:40:23, 26 November 2024)
- EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization + (06:51:09, 27 November 2024)
- Towards Mass Spectrum Analysis with ASP + (08:14:24, 27 November 2024)
- Nemo: A Scalable and Versatile Datalog Engine + (08:18:55, 27 November 2024)
- Datei:KG2024-Lecture-05-overlay.pdf + (13:18:48, 28 November 2024)
- Datei:KG2024-Lecture-05-print.pdf + (13:18:56, 28 November 2024)
- Datei:2024 kbs group.jpg + (08:57:20, 29 November 2024)
- Wissensbasierte Systeme + (08:57:39, 29 November 2024)
- Datei:FS2024-Vorlesung-12.pdf + (12:15:54, 29 November 2024)
- Datei:FS2024-Vorlesung-13.pdf + (12:54:03, 29 November 2024)
- Datei:KR2024-GomezAlvarez-Standpoint SHIQ.pdf + (15:42:34, 30 November 2024)
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (15:42:38, 30 November 2024)
- Datei:FKR2024-07.pdf + (09:20:17, 2 December 2024)
- Datei:CT2024-Lecture-13-overlay.pdf + (10:00:58, 2 December 2024)
- Datei:CT2024-Lecture-13-print.pdf + (10:01:10, 2 December 2024)
- Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization + (13:33:14, 2 December 2024)
- Datei:Prima slides karge.pdf + (13:35:12, 2 December 2024)
- Taming Dilation in Imprecise Pooling + (13:35:19, 2 December 2024)
- Datei:CT2024-Exercise-07.pdf + (08:21:59, 3 December 2024)
- Datei:Best paper nemo.jpeg + (09:57:15, 3 December 2024)
- Best Paper Award für Nemo + (10:07:48, 3 December 2024)
- Best Paper Award for Nemo + (10:07:49, 3 December 2024)
- Datei:KRR exercises 6 WS24.pdf + (10:42:42, 3 December 2024)
- Datei:CT2024-Lecture-14-overlay.pdf + (15:10:25, 3 December 2024)
- Datei:CT2024-Lecture-14-print.pdf + (15:10:33, 3 December 2024)
- Datei:Kg2024-exercise-06.pdf + (22:49:41, 3 December 2024)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (08:25:04, 4 December 2024)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (08:29:12, 4 December 2024)
- Datei:KG2024-Lecture-06-overlay.pdf + (10:17:43, 5 December 2024)
- Datei:KG2024-Lecture-06-print.pdf + (10:17:57, 5 December 2024)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (07:58:26, 6 December 2024)
- Datei:FKR2024-08.pdf + (14:49:08, 6 December 2024)
- Datei:FS2024-Vorlesung-14.pdf + (16:06:41, 6 December 2024)
- Datei:FS2024-Vorlesung-15.pdf + (16:07:10, 6 December 2024)
- Datei:CT2024-Lecture-15-overlay.pdf + (12:37:43, 9 December 2024)
- Datei:CT2024-Lecture-15-print.pdf + (12:37:50, 9 December 2024)
- Tree Automata with Global and Non-Global Counting + (15:11:05, 9 December 2024)
- Tree Automata with Global and Non-Global Counting + (15:11:05, 9 December 2024)
- Datei:CT2024-Lecture-16-overlay.pdf + (20:07:16, 10 December 2024)
- Datei:CT2024-Lecture-16-print.pdf + (20:07:24, 10 December 2024)
- Datei:KG2024-Lecture-07-overlay.pdf + (15:54:54, 12 December 2024)
- Datei:KG2024-Lecture-07-print.pdf + (15:55:07, 12 December 2024)
- Datei:BestPaper Jonas Kyoto.jpeg + (12:15:35, 13 December 2024)
- Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 + (12:23:58, 13 December 2024)
- Jonas Karge Wins Student Best Paper Award at PRIMA24 + (12:23:58, 13 December 2024)
- Datei:CT2024-Lecture-17-overlay.pdf + (07:31:26, 16 December 2024)
