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
- Relating Description Complexity to Entropy + (13. März 2023, 18:28:07)
- Algorithmic Game Theory + (17. März 2023, 08:37:13)
- Introduction to Existential Rules + (19. März 2023, 21:49:49)
- Seminar Logic-Based Knowledge Representation + (20. März 2023, 09:53:31)
- Static Program Analysis in Datalog + (20. März 2023, 11:21:31)
- Static Program Analysis in Datalog + (20. März 2023, 11:21:31)
- Database Theory + (20. März 2023, 14:44:25)
- Quotation in Formal Logics and the Web + (23. März 2023, 12:55:22)
- Adventures in Computer Science -- Grades 1 & 2 + (27. März 2023, 21:14:14)
- Adventures in Computer Science -- Grades 1 & 2 + (27. März 2023, 21:14:14)
- Theorem Proving with LEAN + (3. April 2023, 07:25:48)
- Raum APB E009 + (3. April 2023, 10:51:40)
- Room APB E009 + (3. April 2023, 10:51:40)
- International Center for Computational Logic + (4. April 2023, 06:55:14)
- Datei:DBT2023-Lecture-01-overlay.pdf + (4. April 2023, 07:04:39)
- Datei:DBT2023-Lecture-02-overlay.pdf + (4. April 2023, 07:04:55)
- Datei:CONCUR23-01-Introduction.pdf + (4. April 2023, 13:57:28)
- Datei:CONCUR23-02-bisimilarity.pdf + (4. April 2023, 13:59:12)
- Datei:Dbt2023-exercise-01.pdf + (4. April 2023, 15:10:19)
- Courses + (5. April 2023, 19:45:55)
- Vorlage:Projektarbeit Listing + (5. April 2023, 20:04:37)
- Datei:Dbt2023-exercise-01-slides.pdf + (11. April 2023, 16:51:26)
- Datei:Dbt2023-exercise-02.pdf + (11. April 2023, 16:51:44)
- Raum HSZ/0401 + (13. April 2023, 07:22:46)
- Room HSZ/0401 + (13. April 2023, 07:22:46)
- The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022) + (13. April 2023, 10:08:16)
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (13. April 2023, 13:52:16)
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (13. April 2023, 13:52:16)
- Rushing and Strolling among Answer Sets - Navigation Made Easy + (13. April 2023, 14:28:00)
- Answer Set Navigation: Probleme Besser Verstehen + (13. April 2023, 14:29:34)
- Scalable Understanding: Navigation Approaches for Answer Sets + (13. April 2023, 14:30:51)
- Datei:AGT2023-01.pdf + (14. April 2023, 09:48:13)
- Datei:LBKR-2023-intro.pdf + (15. April 2023, 15:14:32)
- Datei:AGT P1.pdf + (17. April 2023, 12:25:30)
- Datei:DBT2023-Lecture-03-overlay.pdf + (18. April 2023, 07:11:25)
- Datei:DBT2023-Lecture-05-overlay.pdf + (18. April 2023, 07:12:24)
- Datei:DBT2023-Lecture-04-overlay.pdf + (18. April 2023, 08:59:00)
- Datei:Dbt2023-exercise-03.pdf + (18. April 2023, 16:37:20)
- Datei:Dbt2023-exercise-02-slides.pdf + (18. April 2023, 16:37:35)
- Theorem Proving with LEAN + (19. April 2023, 08:27:24)
- Datei:Ex-propositional.zip + (19. April 2023, 09:13:06)
- Datei:CONCUR23-E01-LEAN.pdf + (20. April 2023, 06:48:00)
- Datei:ER-Rudolph-Lecture02.pdf + (21. April 2023, 20:05:21)
- Datei:LBKR-2023-recap.pdf + (24. April 2023, 11:41:25)
- Datei:AGT P2.pdf + (24. April 2023, 16:35:48)
- Datei:AGT2023-02.pdf + (25. April 2023, 07:26:36)
- Datei:AGT P2b.pdf + (25. April 2023, 11:33:28)
- Datei:Dbt2023-exercise-03-slides.pdf + (25. April 2023, 14:59:41)
- Datei:Dbt2023-exercise-04.pdf + (25. April 2023, 14:59:57)
- Themenvorschläge für Studien- und Abschlussarbeiten + (26. April 2023, 07:19:19)
- Suggested Thesis Topics + (26. April 2023, 07:19:38)
- Answering Queries with Negation over Existential Rules + (27. April 2023, 18:28:05)
