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:TheoLog2024-Vorlesung-02-print.pdf + (13:10:52, 11 April 2024)
- Datei:CONCUR24-01-Introduction.pdf + (07:23:51, 12 April 2024)
- Datei:CONCUR24-02-Bisimulation.pdf + (07:24:09, 12 April 2024)
- Datei:TheoLog24-Uebung02.pdf + (08:05:33, 12 April 2024)
- Datei:TheoLog24-Uebung01.pdf + (08:07:29, 12 April 2024)
- Datei:RR23-abstractDomains.pdf + (11:54:13, 12 April 2024)
- Abstract Domains for Database Manipulating Processes + (11:54:35, 12 April 2024)
- Datei:RR23-N3Rules.pdf + (11:57:14, 12 April 2024)
- Notation3 as an Existential Rule Language + (11:57:25, 12 April 2024)
- Datei:TheoLog2024-Vorlesung-03-print.pdf + (08:19:52, 15 April 2024)
- Datei:TheoLog2024-Vorlesung-03-overlay.pdf + (08:19:59, 15 April 2024)
- Datei:AGT2024-01.pdf + (08:40:00, 15 April 2024)
- Datei:CONCUR24-E01-bisimulation.pdf + (11:08:26, 15 April 2024)
- Datei:LBKR-24-logicintro.pdf + (13:25:47, 15 April 2024)
- Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models + (15:28:55, 15 April 2024)
- Datei:CONCUR24-03-semantics.pdf + (12:09:07, 16 April 2024)
- Datei:LBKR-2402-logicintro.pdf + (13:24:18, 16 April 2024)
- Seminar Logic-Based Knowledge Representation + (13:24:35, 16 April 2024)
- Datei:RestrictedChaseUniversalModelsInLean.pdf + (06:30:36, 18 April 2024)
- KBS group present student topics + (12:43:58, 18 April 2024)
- Datei:BaBo-SAC-24.pdf + (12:53:57, 18 April 2024)
- The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains + (12:55:30, 18 April 2024)
- Datei:TheoLog2024-Vorlesung-04-print.pdf + (13:17:03, 18 April 2024)
- Datei:TheoLog2024-Vorlesung-04-overlay.pdf + (13:17:12, 18 April 2024)
- Datei:TheoLog24-Uebung03.pdf + (19:42:40, 18 April 2024)
- Ankündigung: Themenvergabe für studentische Projekte + (07:28:23, 19 April 2024)
- Datei:2024.04.18-filippo-best-paper.jpeg + (07:37:32, 19 April 2024)
- ICCL Researchers win Best Paper Award at SAC 2024 + (07:37:36, 19 April 2024)
- Best Paper Award für Forschende des ICCL + (07:49:42, 19 April 2024)
- Description Logics That Count, and What They Can and Cannot Count + (08:36:15, 19 April 2024)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (08:37:14, 19 April 2024)
- Datei:AGT2024-02.pdf + (13:22:55, 19 April 2024)
- Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models + (15:17:19, 19 April 2024)
- Datei:AGT24-Ex02.pdf + (08:26:52, 22 April 2024)
- Datei:CONCUR24-04-directstyle.pdf + (09:03:30, 24 April 2024)
- Datei:IJCAI24-Lyon-Karge.pdf + (12:37:33, 24 April 2024)
- Datei:TheoLog2024-Vorlesung-06-print.pdf + (09:26:43, 25 April 2024)
- Datei:TheoLog2024-Vorlesung-06-overlay.pdf + (09:26:51, 25 April 2024)
- Datei:TheoLog2024-Vorlesung-05-print.pdf + (10:57:34, 25 April 2024)
- Datei:TheoLog2024-Vorlesung-05-overlay.pdf + (10:57:51, 25 April 2024)
- Adrian Nuradiansyah + (11:21:28, 25 April 2024)
- Satyadharma Tirtarasa + (11:23:19, 25 April 2024)
- Anni-Yasmin Turhan + (11:23:48, 25 April 2024)
- Datei:LAT group photo 2024.jpeg + (11:52:18, 25 April 2024)
- Automatentheorie + (11:52:42, 25 April 2024)
- Datei:CONCUR24-E02-fixedpoints.pdf + (06:54:47, 26 April 2024)
- Oliver Fernández Gil + (09:07:50, 26 April 2024)
- Francesco Kriegel + (09:15:15, 26 April 2024)
- Datei:AGT2024-03.pdf + (12:48:20, 26 April 2024)
- Datei:TheoLog24-Uebung-04.pdf + (07:11:57, 29 April 2024)
- Chase Termination Beyond Polynomial Time + (08:13:37, 29 April 2024)
