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