Suche mittels Attribut

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

• Datei:TheoLog2024-Vorlesung-02-print.pdf  + (11. April 2024, 13:10:52)
• Datei:CONCUR24-01-Introduction.pdf  + (12. April 2024, 07:23:51)
• Datei:CONCUR24-02-Bisimulation.pdf  + (12. April 2024, 07:24:09)
• Datei:TheoLog24-Uebung02.pdf  + (12. April 2024, 08:05:33)
• Datei:TheoLog24-Uebung01.pdf  + (12. April 2024, 08:07:29)
• Datei:RR23-abstractDomains.pdf  + (12. April 2024, 11:54:13)
• Abstract Domains for Database Manipulating Processes  + (12. April 2024, 11:54:35)
• Datei:RR23-N3Rules.pdf  + (12. April 2024, 11:57:14)
• Notation3 as an Existential Rule Language  + (12. April 2024, 11:57:25)
• Datei:TheoLog2024-Vorlesung-03-print.pdf  + (15. April 2024, 08:19:52)
• Datei:TheoLog2024-Vorlesung-03-overlay.pdf  + (15. April 2024, 08:19:59)
• Datei:AGT2024-01.pdf  + (15. April 2024, 08:40:00)
• Datei:CONCUR24-E01-bisimulation.pdf  + (15. April 2024, 11:08:26)
• Datei:LBKR-24-logicintro.pdf  + (15. April 2024, 13:25:47)
• Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models  + (15. April 2024, 15:28:55)
• Datei:CONCUR24-03-semantics.pdf  + (16. April 2024, 12:09:07)
• Datei:LBKR-2402-logicintro.pdf  + (16. April 2024, 13:24:18)
• Seminar Logic-Based Knowledge Representation  + (16. April 2024, 13:24:35)
• Datei:RestrictedChaseUniversalModelsInLean.pdf  + (18. April 2024, 06:30:36)
• KBS group present student topics  + (18. April 2024, 12:43:58)
• Datei:BaBo-SAC-24.pdf  + (18. April 2024, 12:53:57)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (18. April 2024, 12:55:30)
• Datei:TheoLog2024-Vorlesung-04-print.pdf  + (18. April 2024, 13:17:03)
• Datei:TheoLog2024-Vorlesung-04-overlay.pdf  + (18. April 2024, 13:17:12)
• Datei:TheoLog24-Uebung03.pdf  + (18. April 2024, 19:42:40)

• Ankündigung: Themenvergabe für studentische Projekte  + (19. April 2024, 07:28:23)

• Datei:2024.04.18-filippo-best-paper.jpeg  + (19. April 2024, 07:37:32)
• ICCL Researchers win Best Paper Award at SAC 2024  + (19. April 2024, 07:37:36)
• Best Paper Award für Forschende des ICCL  + (19. April 2024, 07:49:42)
• Description Logics That Count, and What They Can and Cannot Count  + (19. April 2024, 08:36:15)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (19. April 2024, 08:37:14)
• Datei:AGT2024-02.pdf  + (19. April 2024, 13:22:55)
• Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models  + (19. April 2024, 15:17:19)
• Datei:AGT24-Ex02.pdf  + (22. April 2024, 08:26:52)
• Datei:CONCUR24-04-directstyle.pdf  + (24. April 2024, 09:03:30)
• Datei:IJCAI24-Lyon-Karge.pdf  + (24. April 2024, 12:37:33)
• Datei:TheoLog2024-Vorlesung-06-print.pdf  + (25. April 2024, 09:26:43)
• Datei:TheoLog2024-Vorlesung-06-overlay.pdf  + (25. April 2024, 09:26:51)
• Datei:TheoLog2024-Vorlesung-05-print.pdf  + (25. April 2024, 10:57:34)
• Datei:TheoLog2024-Vorlesung-05-overlay.pdf  + (25. April 2024, 10:57:51)
• Adrian Nuradiansyah  + (25. April 2024, 11:21:28)
• Satyadharma Tirtarasa  + (25. April 2024, 11:23:19)
• Anni-Yasmin Turhan  + (25. April 2024, 11:23:48)
• Datei:LAT group photo 2024.jpeg  + (25. April 2024, 11:52:18)
• Automatentheorie  + (25. April 2024, 11:52:42)
• Datei:CONCUR24-E02-fixedpoints.pdf  + (26. April 2024, 06:54:47)
• Oliver Fernández Gil  + (26. April 2024, 09:07:50)
• Francesco Kriegel  + (26. April 2024, 09:15:15)
• Datei:AGT2024-03.pdf  + (26. April 2024, 12:48:20)
• Datei:TheoLog24-Uebung-04.pdf  + (29. April 2024, 07:11:57)
• Chase Termination Beyond Polynomial Time  + (29. April 2024, 08:13:37)