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
- VLog + (11. Juli 2023, 14:01:52)
- Datei:BBE-JELIA2023-v1.pdf + (12. Juli 2023, 10:11:32)
- Datei:KR-2023-Submission-3571-Gerlach-Carral-Technical-Report.pdf + (13. Juli 2023, 07:01:09)
- Datei:SecondOrderConfidence.pdf + (13. Juli 2023, 14:01:51)
- Second-order Confidence in Supervaluationism + (13. Juli 2023, 14:02:13)
- Datei:Jelia2023-v2.pdf + (13. Juli 2023, 15:16:42)
- Datei:NestedSequentsQML.pdf + (16. Juli 2023, 14:23:42)
- Aktivitaet2120 + (17. Juli 2023, 11:59:51)
- Datei:Jelia23.pdf + (17. Juli 2023, 13:42:39)
- Datei:Jelia23LR.pdf + (17. Juli 2023, 13:45:10)
- Datei:BBE-JELIA23-FINAL.pdf + (19. Juli 2023, 10:36:26)
- Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences + (21. Juli 2023, 08:48:23)
- Datei:Stephan mennicke.jpg + (21. Juli 2023, 15:23:42)
- Datei:Vrandecic-Pintscher-Kroetzsch Wikidata-History-WWW-2023.pdf + (24. Juli 2023, 08:55:08)
- Wikidata: The Making Of + (24. Juli 2023, 09:03:33)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (24. Juli 2023, 17:24:59)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (24. Juli 2023, 17:24:59)
- Automated Reasoning Support for Standpoint-OWL 2 + (1. August 2023, 07:37:11)
- Datei:Kodis camera.pdf + (4. August 2023, 10:17:13)
- Datei:Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf + (8. August 2023, 14:27:55)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (8. August 2023, 14:48:58)
- Datei:Filippo-De Bortoli.jpeg + (14. August 2023, 13:37:36)
- Filippo De Bortoli + (14. August 2023, 13:40:09)
- Datei:BGR2023.pdf + (17. August 2023, 13:37:58)
- Regelbasiertes Schließen + (21. August 2023, 10:01:34)
- Temporal reasoning with DatalogMTL + (21. August 2023, 10:20:32)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (21. August 2023, 10:41:47)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (21. August 2023, 10:41:47)
- Datei:L-UdrXJ98F4.jpg + (23. August 2023, 10:37:18)
- Algorithmic Game Theory + (24. August 2023, 11:18:41)
- Formalizing "Formale Systeme" + (25. August 2023, 15:50:22)
- Formalizing "Formale Systeme" + (25. August 2023, 15:50:22)
- Datei:BMR-PODS2023-slides.pdf + (29. August 2023, 09:24:02)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (29. August 2023, 09:24:06)
- Datei:Georg Helm Preis Jahrgang 2022 1.jpg + (1. September 2023, 06:01:11)
- Philipp Hanisch erhält Georg-Helm-Preis + (1. September 2023, 06:01:50)
- Datei:Talk.pdf + (2. September 2023, 11:48:49)
- ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams + (2. September 2023, 11:49:14)
- ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen + (4. September 2023, 09:53:02)
- Complexity Theory + (4. September 2023, 10:50:57)
- Formale Systeme + (4. September 2023, 14:00:03)
- Raum BAR/SCHÖ + (5. September 2023, 12:06:29)
- Room BAR/SCHÖ + (5. September 2023, 12:06:29)
- Datei:Gerlach-carral-kr-2023-talk.pdf + (5. September 2023, 12:25:08)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (5. September 2023, 12:25:13)
- Attribut:Ehemalige Forschungsgruppe + (6. September 2023, 07:19:27)
- Attribut:Externe Seite + (6. September 2023, 07:25:20)
- Vorlage:External Group Page + (6. September 2023, 07:47:58)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (6. September 2023, 11:12:05)
- Knowledge Graphs + (6. September 2023, 18:55:23)
- Raum SCH A252 + (7. September 2023, 07:44:15)
