Suche mittels Attribut

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:FDQL15-exercise07.pdf  + (8. Juni 2015, 19:23:32)
• Datei:FSWT-L14-Tableau1.pdf  + (9. Juni 2015, 12:51:35)
• Datei:FSWT-L15-Tableau2.pdf  + (9. Juni 2015, 12:52:15)
• Datei:DS-2015-T3-Optimizations.pdf  + (10. Juni 2015, 08:59:34)
• Connectionist Networks/en  + (10. Juni 2015, 12:49:34)
• Free University of Bozen-Bolzano  + (10. Juni 2015, 13:06:15)
• Technische Universität Wien  + (10. Juni 2015, 13:08:47)
• Universidade NOVA de Lisboa  + (10. Juni 2015, 13:09:41)
• National ICT Australia  + (10. Juni 2015, 13:10:31)
• Datei:Iccl cube blue 200px.png  + (10. Juni 2015, 13:18:51)
• Datei:Nicta-logo.png  + (10. Juni 2015, 14:18:48)
• Datei:TU-Signet.png  + (10. Juni 2015, 14:25:10)
• Datei:Universidade-nova-lisboa.png  + (10. Juni 2015, 14:57:08)
• Datei:Unibz logo.png  + (10. Juni 2015, 15:23:13)
• Datei:Unibz logo white.png  + (10. Juni 2015, 15:34:25)
• Datei:Seal New University of Lisbon.svg.png  + (10. Juni 2015, 15:37:35)
• ICCL-SS-2015  + (10. Juni 2015, 15:57:24)
• Datei:Bird.gif  + (10. Juni 2015, 16:19:03)
• Vorlage:DisplayForschungsgebiet  + (11. Juni 2015, 08:42:41)
• Datei:9781614994206.jpg  + (11. Juni 2015, 12:11:07)
• Datei:Sat2013.jpg  + (11. Juni 2015, 12:15:52)
• Datei:Ki2014.jpg  + (11. Juni 2015, 12:19:20)
• Formula Simplifications as DRAT Derivations  + (11. Juni 2015, 12:22:36)
• A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained  + (11. Juni 2015, 12:24:00)
• Soundness of Inprocessing in Clause Sharing SAT Solvers  + (11. Juni 2015, 12:25:27)

• Clause Simplifications in Search-Space Decomposition-Based SAT Solvers  + (11. Juni 2015, 12:26:27)

• Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers  + (11. Juni 2015, 12:27:41)
• Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers  + (11. Juni 2015, 12:28:57)
• From Classical to Consistent Query Answering under Existential Rules  + (11. Juni 2015, 15:33:23)
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (12. Juni 2015, 10:55:50)
• Datei:FDQLSS15-lecture-09.pdf  + (15. Juni 2015, 11:42:58)
• Datei:FDQLSS15-lecture-09-2x2.pdf  + (15. Juni 2015, 11:43:18)
• Datei:PSSAI2015-T4.pdf  + (15. Juni 2015, 16:13:14)
• Datei:PSSAI2015 L8.pdf  + (16. Juni 2015, 07:28:38)
• Datei:BMPT-DL15.pdf  + (16. Juni 2015, 07:49:24)
• Datei:CeLP-DL15.pdf  + (16. Juni 2015, 07:55:26)
• Datei:CePe-DL15.pdf  + (16. Juni 2015, 07:57:22)
• Datei:FDQL15-exercise08.pdf  + (16. Juni 2015, 08:05:08)
• Datei:FSWT-T4-Tableau.pdf  + (16. Juni 2015, 09:40:42)
• Datei:FSWT-L16-Hypertableau1.pdf  + (16. Juni 2015, 09:57:55)
• Datei:FSWT-L17-Hypertableau2.pdf  + (16. Juni 2015, 09:58:46)
• Datei:SAT-Solving-Algorithms2015.pdf  + (16. Juni 2015, 13:05:45)
• Proceedings of the First International Workshop on Uncertainty in Description Logics  + (16. Juni 2015, 14:09:49)
• Datei:Sibylle moehle.jpg  + (17. Juni 2015, 06:30:24)
• ICCL/ICCL  + (17. Juni 2015, 09:19:45)
• Datei:Pizza.lp.zip  + (17. Juni 2015, 12:29:40)
• Datei:PSSAI2015-T5.pdf  + (17. Juni 2015, 12:36:01)
• Datei:ZarriessClassenIJCAI15.pdf  + (17. Juni 2015, 16:07:15)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (17. Juni 2015, 16:19:40)
• Datei:DS2015 ASP 1.pdf  + (18. Juni 2015, 09:12:38)
• Datei:FSWT-T4-Tableau-Solutions.pdf  + (19. Juni 2015, 09:12:59)