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:Irina Dragoste 2016.jpg + (19. Dezember 2016, 14:35:01)
- Georg Wild + (19. Dezember 2016, 14:49:51)
- Datei:Irina Dragoste -presentation.pdf + (19. Dezember 2016, 16:06:03)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (19. Dezember 2016, 16:06:12)
- A Computational Logic Approach to Human Reasoning + (19. Dezember 2016, 20:03:43)
- Solving Hidokus Using SAT-Solvers + (19. Dezember 2016, 20:04:39)
- Human Reasoning and Computational Logic + (19. Dezember 2016, 20:05:22)
- The European PhD Program in Computational Logic + (19. Dezember 2016, 20:06:12)
- A Simple Model for the Wason Selection Task + (19. Dezember 2016, 20:06:57)
- npSolver - a SAT based Solver for Optimization Problems + (19. Dezember 2016, 20:07:56)
- The SAT Solver Framework priss + (19. Dezember 2016, 20:08:31)
- Coprocessor 2.0 - A flexible CNF Simplifier + (19. Dezember 2016, 20:09:12)
- Human Reasoning and Computational Logic + (19. Dezember 2016, 20:11:03)
- Satisfiability Testing and its Applications + (19. Dezember 2016, 20:11:45)
- Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (19. Dezember 2016, 20:12:49)
- A Compact Encoding of Pseudo-Boolean Constraints into SAT + (19. Dezember 2016, 20:13:43)
- Datei:Cl-group-small-2016.png + (23. Dezember 2016, 22:58:08)
- Datei:FCP2016-T5.pdf + (27. Dezember 2016, 10:52:12)
- Datei:FLP2016-T4.pdf + (27. Dezember 2016, 10:58:58)
- Datei:FLP2016-T6.pdf + (27. Dezember 2016, 11:38:39)
- Datei:FLP2016-T5-shortened.pdf + (27. Dezember 2016, 11:43:44)
- Datei:FLP2016-T5.pdf + (27. Dezember 2016, 12:07:50)
- Image schemas in computational concept invention + (30. Dezember 2016, 16:52:02)
- Datei:Ws16-scl2016-sheet-2.pdf + (2. Januar 2017, 13:39:13)
- Aktivitaet2041 + (2. Januar 2017, 16:55:57)
- Aktivitaet2004 + (2. Januar 2017, 16:57:12)
- Aktivitaet2042 + (2. Januar 2017, 16:58:20)
- Datei:Portrait-2016.jpg + (3. Januar 2017, 14:18:14)
- Datei:Tutorial1617-FCA-08.pdf + (3. Januar 2017, 16:18:37)
- Datei:BoPe-IJAR17.pdf + (4. Januar 2017, 13:37:31)
- Datei:BaBP-KI16.pdf + (4. Januar 2017, 13:46:08)
- Applications for the 'International MSc Program in Computational Logic' + (5. Januar 2017, 07:49:23)
- Datei:FS2016-20-overlay.pdf + (5. Januar 2017, 14:02:08)
- Datei:FS2016-20-print.pdf + (5. Januar 2017, 14:02:34)
- Datei:Ex10-2016.pdf + (5. Januar 2017, 14:34:17)
- Datei:Syllogisms2016.pdf.zip + (5. Januar 2017, 14:41:27)
- Datei:FS2016-uebung-11.pdf + (6. Januar 2017, 15:10:11)
- Datei:FS2016-21-overlay.pdf + (9. Januar 2017, 09:11:10)
- Datei:FS2016-21-print.pdf + (9. Januar 2017, 09:11:37)
- Datei:ATiCT2016-lecture-notes.pdf + (10. Januar 2017, 09:05:35)
- Datei:ATiCT2016-exercise-01.pdf + (10. Januar 2017, 09:06:19)
- Datei:ATiCT-exercise-02.pdf + (10. Januar 2017, 09:06:52)
- Datei:ATiCT-exercise-03.pdf + (10. Januar 2017, 09:07:33)
- Datei:ATiCT2016-exercise-04.pdf + (10. Januar 2017, 09:08:15)
- Datei:ATiCT2016-exercise-05.pdf + (10. Januar 2017, 09:09:48)
- Datei:ATiCT2016-exercise-06.pdf + (10. Januar 2017, 09:10:27)
- Datei:ATiCT-exercise-07.pdf + (10. Januar 2017, 09:11:02)
- Datei:ATiCT2016-exercise-07.pdf + (10. Januar 2017, 09:11:12)
- Datei:ATiCT2016-exercise-08.pdf + (10. Januar 2017, 09:11:44)
- Datei:ATiCT2016-exercise-09.pdf + (10. Januar 2017, 09:12:16)
- Datei:ATiCT2016-exercise-10.pdf + (10. Januar 2017, 09:12:50)
