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
- Theoretische Informatik und Logik + (29. Juni 2018, 12:40:00)
- Theoretische Informatik und Logik + (2. Juli 2018, 10:50:00)
- Deduction Systems + (2. Juli 2018, 12:40:00)
- Database Theory + (3. Juli 2018, 10:50:00)
- Database Theory + (3. Juli 2018, 12:40:00)
- Database Theory + (3. Juli 2018, 16:20:00)
- A Dichotomy for Evaluating Simple Regular Path Queries + (5. Juli 2018, 14:30:00)
- Theoretische Informatik und Logik + (6. Juli 2018, 12:40:00)
- Semantic Computing + (9. Juli 2018, 09:00:00)
- Semantic Computing + (9. Juli 2018, 09:00:00)
- Theoretische Informatik und Logik + (9. Juli 2018, 10:50:00)
- Deduction Systems + (9. Juli 2018, 12:40:00)
- Database Theory + (10. Juli 2018, 10:50:00)
- Database Theory + (10. Juli 2018, 12:40:00)
- Database Theory + (10. Juli 2018, 16:20:00)
- Theoretische Informatik und Logik + (13. Juli 2018, 12:40:00)
- Semantic Computing + (16. Juli 2018, 09:00:00)
- Theoretische Informatik und Logik + (16. Juli 2018, 10:50:00)
- Deduction Systems + (16. Juli 2018, 12:40:00)
- Database Theory + (17. Juli 2018, 10:50:00)
- Database Theory + (17. Juli 2018, 12:40:00)
- Database Theory + (17. Juli 2018, 16:20:00)
- Theoretische Informatik und Logik + (20. Juli 2018, 12:40:00)
- Towards Conjunctive Query Answering in Defeasible EL_bot + (26. Juli 2018, 14:30:00)
- Modal Separation Logic: an ongoing quest for elementary complexity + (8. August 2018, 14:00:00)
- A Single Approach to Decide Chase Termination on Linear Existential Rules + (9. August 2018, 14:30:00)
- Classification of the finite polymorphism-homogeneous tournaments with loops + (23. August 2018, 14:30:00)
- Weighted Model Counting on the GPU by Exploiting Small Treewidth + (30. August 2018, 14:30:00)
- Faceted Answer-Set Navigation + (6. September 2018, 14:30:00)
- Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic + (20. September 2018, 14:30:00)
- Extending Matching in Description Logics + (27. September 2018, 14:30:00)
- Report on research visit to NRC + (4. Oktober 2018, 14:30:00)
- Foundations of Logic Programming + (8. Oktober 2018, 16:20:00)
- Foundations of Constraint Programming + (8. Oktober 2018, 18:10:00)
- Seminar Selected Topics in Database Theory + (10. Oktober 2018, 18:10:00)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (11. Oktober 2018, 14:30:00)
- Seminar Practical Planning for Angry Birds + (12. Oktober 2018, 16:20:00)
- Complexity Theory + (15. Oktober 2018, 10:50:00)
- Introduction to Formal Concept Analysis + (15. Oktober 2018, 12:40:00)
- Foundations of Logic Programming + (15. Oktober 2018, 16:20:00)
- Foundations of Constraint Programming + (15. Oktober 2018, 18:10:00)
- Complexity Theory + (16. Oktober 2018, 10:50:00)
- Knowledge Graphs + (16. Oktober 2018, 12:40:00)
- Knowledge Graphs + (16. Oktober 2018, 16:20:00)
- Complexity Theory + (17. Oktober 2018, 12:40:00)
- Seminar Selected Topics in Database Theory + (17. Oktober 2018, 18:10:00)
- Foundations of Logic Programming + (18. Oktober 2018, 12:40:00)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (18. Oktober 2018, 13:30:00)
- Making Repairs in Description Logics More Gentle + (18. Oktober 2018, 14:30:00)
- Semantic Computing + (19. Oktober 2018, 10:50:00)
- Seminar Practical Planning for Angry Birds + (19. Oktober 2018, 16:20:00)