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:Kg2024-exercise-03.pdf  + (19:46:28, 14 November 2024)
• Datei:FS2024-Vorlesung-08.pdf  + (21:05:19, 15 November 2024)
• Datei:FS2024-Vorlesung-09.pdf  + (21:32:40, 15 November 2024)
• Datei:CT2024-Lecture-09-overlay.pdf  + (10:06:55, 18 November 2024)
• Datei:CT2024-Lecture-09-print.pdf  + (10:07:04, 18 November 2024)
• Datei:CT2024-Lecture-10-overlay.pdf  + (07:08:20, 19 November 2024)
• Datei:CT2024-Lecture-10-print.pdf  + (07:08:28, 19 November 2024)
• Elisa Böhl  + (12:30:09, 19 November 2024)
• Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic/en  + (07:49:40, 21 November 2024)
• Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic  + (07:58:58, 21 November 2024)
• Datei:Kg2024-exercise-04.pdf  + (16:12:35, 21 November 2024)
• Datei:KG2024-Lecture-04-overlay.pdf  + (16:14:47, 21 November 2024)
• Datei:KG2024-Lecture-04-print.pdf  + (16:15:03, 21 November 2024)
• Datei:CT2024-Exercise-06.pdf  + (13:52:36, 22 November 2024)
• Datei:CT2024-Exercise-05.pdf  + (13:55:27, 22 November 2024)
• Datei:FKR2024-05.pdf  + (15:18:41, 22 November 2024)
• Datei:FKR2024-04.pdf  + (15:19:34, 22 November 2024)
• Datei:FKR2024-03.pdf  + (15:20:03, 22 November 2024)
• Datei:FKR2024-02.pdf  + (15:20:35, 22 November 2024)
• Datei:FS2024-Vorlesung-10.pdf  + (16:23:16, 23 November 2024)
• Datei:FS2024-Vorlesung-11.pdf  + (16:23:39, 23 November 2024)
• On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics  + (09:09:48, 25 November 2024)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (09:10:43, 25 November 2024)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (09:11:11, 25 November 2024)
• The Basics of Display Calculi  + (09:11:48, 25 November 2024)

• From Display to Labelled Proofs for Tense Logics  + (09:12:17, 25 November 2024)

• A Neutral Temporal Deontic STIT Logic  + (09:12:47, 25 November 2024)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (09:13:32, 25 November 2024)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (09:14:04, 25 November 2024)
• Datei:KRR problems5 WS24.pdf  + (11:58:41, 25 November 2024)
• The RustBelt and its Separation Logic  + (12:28:26, 25 November 2024)
• 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)