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
- Aktivitaet2129 + (5. September 2024, 09:49:01)
- Aktivitaet2130 + (5. September 2024, 09:51:10)
- Aktivitaet2131 + (10. September 2024, 11:40:22)
- Complexity Theory + (12. September 2024, 09:59:19)
- Datei:SSA2024-AFT.pdf + (12. September 2024, 14:07:17)
- What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation? + (12. September 2024, 14:09:42)
- Datei:Ivliev-Datalog20-2024.pdf + (13. September 2024, 13:57:02)
- Publikationen von Simon Meusel + (14. September 2024, 09:37:38)
- Publications of Simon Meusel + (14. September 2024, 09:37:38)
- Winning Snake: Design Choices in Multi-Shot ASP + (16. September 2024, 05:22:11)
- Winning Snake: Design Choices in Multi-Shot ASP + (16. September 2024, 05:22:11)
- Advanced Problem Solving and Search + (16. September 2024, 13:46:31)
- Advanced Problem Solving and Search + (16. September 2024, 13:46:32)
- Vorlage:DisplayProjekt + (16. September 2024, 14:55:53)
- Nemo + (16. September 2024, 18:37:22)
- Datei:Nemo-logo.svg + (16. September 2024, 18:46:35)
- Datei:PRIMA2024 submission.pdf + (20. September 2024, 09:54:17)
- Datei:NMR-2024-Submission-8-camera-ready.pdf + (24. September 2024, 06:32:35)
- Room GÖR/0226/H + (24. September 2024, 07:34:30)
- Raum TOE/317/H + (24. September 2024, 07:36:32)
- Room TOE/317/H + (24. September 2024, 07:36:32)
- Raum GÖR/0226/H + (24. September 2024, 07:37:17)
- Formale Systeme + (25. September 2024, 09:26:21)
- Datei:Cv gaggl work.pdf + (26. September 2024, 07:35:36)
- Datei:2024-XLoKR-Submission-5-camera-ready.pdf + (27. September 2024, 06:05:02)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (30. September 2024, 12:45:50)
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster + (30. September 2024, 12:46:24)
- Bartosz Bednarczyk + (30. September 2024, 20:14:08)
- Datei:ICCL profile JK.jpeg3.pdf + (1. Oktober 2024, 14:15:28)
- Datei:JK profile ICCL.png + (2. Oktober 2024, 08:29:37)
- Datei:Votingscenario.png + (2. Oktober 2024, 09:53:52)
- Multi-agent systems + (2. Oktober 2024, 09:54:21)
- Multiagentensysteme + (2. Oktober 2024, 09:56:43)
- Aktivitaet2077 + (4. Oktober 2024, 05:36:50)
- Datei:JAIR24-LyoBer.pdf + (4. Oktober 2024, 07:27:01)
- Proof Theory and Decision Procedures for Deontic STIT Logics + (4. Oktober 2024, 07:27:05)
- Datei:LMR-SACAIR24.pdf + (4. Oktober 2024, 11:04:02)
- Navigating ASP Solution Spaces (Canceled) + (4. Oktober 2024, 13:39:36)
- Datei:ICCL profile JK 0410.jpg + (4. Oktober 2024, 15:02:51)
- Jonas Karge + (4. Oktober 2024, 15:03:20)
- Sebastian Rudolph + (5. Oktober 2024, 12:32:56)
- Datei:CLMR-SACAIR24.pdf + (8. Oktober 2024, 08:11:50)
- Knowledge Graphs + (8. Oktober 2024, 12:58:51)
- Raum GER 0038 + (8. Oktober 2024, 13:30:56)
- Room GER 0038 + (8. Oktober 2024, 13:30:56)
- Raum BAR 0218 + (8. Oktober 2024, 13:33:58)
- Room BAR 0218 + (8. Oktober 2024, 13:33:58)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (10. Oktober 2024, 13:46:16)
- Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) + (10. Oktober 2024, 13:48:14)
- On the Complexity and Expressiveness of Description Logics with Counting + (10. Oktober 2024, 13:48:44)
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) + (10. Oktober 2024, 13:49:41)
