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
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (05:39:47, 9 March 2025)
- Seminar Large Language Models and Knowledge-aware AI + (05:41:21, 9 March 2025)
- Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents + (15:53:13, 10 March 2025)
- Foundations of probability-raising causality in Markov decision processes + (15:04:05, 12 March 2025)
- Vorlage:Lehrveranstaltung lang + (13:58:34, 14 March 2025)
- Rajab Aghamov + (14:10:42, 14 March 2025)
- Algebraische und logische Grundlagen der Informatik + (11:59:43, 17 March 2025)
- Andrea Kühn + (12:00:39, 17 March 2025)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ + (14:21:32, 17 March 2025)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ + (14:21:56, 17 March 2025)
- Lecture “Advanced Logics” + (14:49:54, 17 March 2025)
- CMS Research Project “Model Checking” + (14:50:04, 17 March 2025)
- Lab Course “Modeling and Automated Verification” + (14:51:07, 17 March 2025)
- Profilprojekt „Forschungsprojekt Formale Methoden“ + (14:51:15, 17 March 2025)
- Proseminar „Binäre Entscheidungsgraphen“ + (14:51:22, 17 March 2025)
- Proseminar „Theoretische Informatik“ + (14:51:29, 17 March 2025)
- Research Seminar “Formal Methods” + (14:51:36, 17 March 2025)
- Seminar “Selected Topics in Logic and Verification” + (14:51:44, 17 March 2025)
- Team Project “Model Checking” + (14:51:52, 17 March 2025)
- SEMECO-Q1/en + (13:06:04, 18 March 2025)
- SEMECO-Q2 + (13:06:20, 18 March 2025)
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes + (13:07:58, 18 March 2025)
- Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks + (13:08:04, 18 March 2025)
- SEMECO-Q1 + (09:15:09, 19 March 2025)
- Concurrency Theory + (08:53:53, 25 March 2025)
- Theoretische Informatik und Logik + (09:09:50, 25 March 2025)
- Datei:LAT group photo 2025.jpg + (16:50:23, 25 March 2025)
- Automatentheorie + (16:56:45, 25 March 2025)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic + (18:41:55, 26 March 2025)
- Existential Notation3 Logic + (08:38:23, 27 March 2025)
- Datei:Gerlach-Leaning-In-2025-Talk-Slides.pdf + (12:23:21, 27 March 2025)
- Formalizing Possibly Infinite Trees of Finite Degree + (12:25:16, 27 March 2025)
- Database Theory + (12:40:05, 27 March 2025)
- Database Theory + (12:51:06, 27 March 2025)
- Lukas Gerlach + (12:59:41, 27 March 2025)
- Datei:Thesis Topic Ill-Founded Sequent System for LTL.pdf + (15:39:32, 27 March 2025)
