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
- Navigating ASP Solution Spaces (Canceled) + (05:02:32, 22 October 2024)
- Datei:IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf + (05:09:59, 22 October 2024)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) + (05:10:04, 22 October 2024)
- Data Complexity in Expressive Description Logics With Path Expressions + (05:16:58, 22 October 2024)
- Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT/en + (08:16:32, 22 October 2024)
- Inaugural Lecture: Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT + (08:17:35, 22 October 2024)
- Datei:CT2024-Lecture-04-overlay.pdf + (09:15:28, 22 October 2024)
- Datei:CT2024-Lecture-04-print.pdf + (09:15:36, 22 October 2024)
- Datei:CT2024-Lecture-03-overlay.pdf + (09:16:02, 22 October 2024)
- Datei:CT2024-Lecture-03-print.pdf + (09:16:13, 22 October 2024)
- Datei:Kg2024-exercise-00.pdf + (18:49:40, 22 October 2024)
- Datei:Snaketalk.pdf + (12:39:20, 23 October 2024)
- Datei:24Snaketalk.pdf + (13:55:04, 23 October 2024)
- Datei:Soetalk.pdf + (13:56:20, 23 October 2024)
- Representative Answer Sets: Collecting Something of Everything + (13:57:24, 23 October 2024)
- Datei:Tunas.talk.pdf + (14:04:01, 23 October 2024)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (14:04:26, 23 October 2024)
- Datei:CT2024-Exercise-02.pdf + (15:46:17, 24 October 2024)
- Datei:CT2024-Lecture-05-print.pdf + (15:47:14, 24 October 2024)
- Datei:CT2024-Lecture-05-overlay.pdf + (15:47:25, 24 October 2024)
- Datei:FS2024-Vorlesung-05.pdf + (09:40:40, 26 October 2024)
- Datei:KRR exercise WS24.pdf + (16:51:51, 27 October 2024)
- Markus Krötzsch + (09:15:01, 28 October 2024)
- Datei:Markus-Kroetzsch-2024-10-27.jpg + (11:08:58, 28 October 2024)
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (15:11:31, 28 October 2024)
- Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem + (15:13:33, 28 October 2024)
- The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (15:13:51, 28 October 2024)
- Datei:BaaderBrandtLutz-LTCS-05-01.pdf + (10:35:14, 30 October 2024)
- Pushing the EL Envelope + (10:35:32, 30 October 2024)
- Datei:CT2024-Exercise-03.pdf + (07:45:01, 4 November 2024)
- Datei:CT2024-Exercise-04.pdf + (07:45:17, 4 November 2024)
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (14:57:38, 4 November 2024)
- Datei:CT2024-Lecture-07-overlay.pdf + (10:23:43, 5 November 2024)
- Datei:CT2024-Lecture-07-print.pdf + (10:23:51, 5 November 2024)
- Datei:CT2024-Lecture-06-overlay.pdf + (10:24:05, 5 November 2024)
- Datei:CT2024-Lecture-06-print.pdf + (10:24:15, 5 November 2024)
- Tom Friese + (12:02:26, 6 November 2024)
- Simon Meusel + (12:07:32, 6 November 2024)
- Dominik Rusovac + (12:08:57, 6 November 2024)
- Datei:Dpdb argu LPNMR 2022.pdf + (05:13:38, 7 November 2024)
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming + (05:13:44, 7 November 2024)
- Datei:Standpointssf.pdf + (05:15:42, 7 November 2024)
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results + (05:15:46, 7 November 2024)
- Datei:KG2024-Lecture-02-overlay.pdf + (15:55:00, 7 November 2024)
- Datei:KG2024-Lecture-02-print.pdf + (15:55:10, 7 November 2024)
- Datei:Kg2024-exercise-01.pdf + (16:20:29, 7 November 2024)
- Datei:Kg2024-exercise-02.pdf + (16:20:52, 7 November 2024)
- Datei:Kr2024-0060-rusovac-et-al.pdf + (02:41:41, 10 November 2024)
- Datei:Gaggl kr 2024.pdf + (02:49:00, 10 November 2024)
- Datei:Gaggl nmr 2024.pdf + (02:52:19, 10 November 2024)
- Datei:Full jesse.heyninck 1730540034 1.jpeg + (02:59:15, 10 November 2024)
