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
- Datei:KR-2024-CR.pdf + (16. August 2024, 08:14:22)
- Efficient Dependency Analysis for Existential Rules + (16. August 2024, 08:18:03)
- Datei:Chase Termination Beyond Polynomial Time PODS Slides.pdf + (23. August 2024, 12:25:33)
- Datei:Snakesplus.pdf + (23. August 2024, 14:04:23)
- Datei:LPNMR24-16.pdf + (27. August 2024, 07:35:39)
- Consequence Operators for Characterization Logics – The Case of Abstract Argumentation + (27. August 2024, 07:37:19)
- Datei:LPNMR2024-Küchenmeister.pdf + (2. September 2024, 09:03:26)
- CeTI + (2. September 2024, 10:33:49)
- Chase Termination Beyond Polynomial Time + (2. September 2024, 10:38:08)
- Nemo: First Glimpse of a New Rule Engine + (2. September 2024, 10:43:05)
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces + (2. September 2024, 10:48:59)
- Simon Razniewski + (4. September 2024, 09:47:35)
- Publikationen von Simon Razniewski + (4. September 2024, 09:47:35)
- Publications of Simon Razniewski + (4. September 2024, 09:47:35)
- Abschlussarbeiten betreut durch [[Simon Razniewski]] + (4. September 2024, 09:47:35)
- Abschlussarbeiten betreut durch [[Simon Razniewski]] + (4. September 2024, 09:47:35)
- Benutzer:Simon Razniewski + (4. September 2024, 09:49:01)
- Thema3513/en + (4. September 2024, 11:03:10)
- Scheduling Complex Oral Exams in Answer Set Programming + (4. September 2024, 11:03:27)
- Thema3514/en + (4. September 2024, 11:05:44)
- Intelligent Shift Scheduling + (4. September 2024, 11:12:33)
- Aktivitaet2110 + (5. September 2024, 09:38:34)
- Aktivitaet2109 + (5. September 2024, 09:38:57)
- Aktivitaet2126 + (5. September 2024, 09:39:11)
- Aktivitaet2127 + (5. September 2024, 09:41:27)
- Aktivitaet2128 + (5. September 2024, 09:44:20)
- 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)
