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
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (23. Juni 2023, 15:17:20)
- Datei:AGT2023-09.pdf + (23. Juni 2023, 20:12:22)
- Datei:DBT2023-Lecture-17-overlay.pdf + (26. Juni 2023, 06:49:25)
- Datei:DBT2023-Lecture-18-overlay.pdf + (26. Juni 2023, 06:49:42)
- Dr. Sergei Obiedkov joins Knowledge Based System group + (26. Juni 2023, 12:52:01)
- Datei:AGT09 Problems.pdf + (26. Juni 2023, 16:11:56)
- Datei:CONCUR23-09-nets.pdf + (27. Juni 2023, 07:09:19)
- Datei:Dbt2023-exercise-11-slides.pdf + (27. Juni 2023, 15:13:50)
- Datei:Dbt2023-exercise-12.pdf + (27. Juni 2023, 15:15:20)
- Datei:AGT 09 Problems b.pdf + (29. Juni 2023, 11:26:59)
- Datei:ER-Rudolph-Lecture08.pdf + (1. Juli 2023, 02:49:16)
- Datei:ER-Lecture08.mkv + (1. Juli 2023, 05:28:39)
- Datei:AGT2023-10.pdf + (3. Juli 2023, 08:57:24)
- Welcome Rajab Aghamov + (3. Juli 2023, 11:09:55)
- Datei:AGT Problems 10.pdf + (3. Juli 2023, 19:20:51)
- Datei:2304.14323.pdf + (4. Juli 2023, 11:41:07)
- Datei:Dbt2023-exercise-12-slides.pdf + (4. Juli 2023, 15:58:29)
- Database Theory + (4. Juli 2023, 15:58:35)
- Datei:CONCUR23-10-pi-calculus.pdf + (5. Juli 2023, 08:06:42)
- Concurrency Theory + (5. Juli 2023, 08:06:53)
- Investigating the finite-cliquewidth-model property of C². + (6. Juli 2023, 07:32:33)
- Datei:AGT2023-06.pdf + (7. Juli 2023, 12:23:52)
- Datei:AGT2023-07.pdf + (7. Juli 2023, 12:35:13)
- Introduction to Existential Rules + (9. Juli 2023, 09:12:13)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (10. Juli 2023, 09:48:47)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (10. Juli 2023, 19:21:35)
- Datei:BBE-JELIA2023.pdf + (10. Juli 2023, 20:31:18)
- Datei:Slides-nemo-iclp2023.pdf + (11. Juli 2023, 10:53:59)
- Nemo + (11. Juli 2023, 13:34:42)
- 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)
