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
- Problem Solving and Search in Artificial Intelligence + (7. Juli 2015, 10:50:00)
- Problem Solving and Search in Artificial Intelligence + (7. Juli 2015, 12:40:00)
- Foundations of Semantic Web Technologies + (8. Juli 2015, 14:30:00)
- Foundations of Semantic Web Technologies + (9. Juli 2015, 10:50:00)
- Deduction Systems + (9. Juli 2015, 14:30:00)
- Foundations of Databases and Query Languages + (10. Juli 2015, 14:30:00)
- Knowledge Representation and Reasoning Seminar + (13. Juli 2015, 10:50:00)
- Foundations of Databases and Query Languages + (13. Juli 2015, 12:40:00)
- SAT-Solving + (13. Juli 2015, 14:30:00)
- Framework for the Specification and Execution of parallel Clustering Algorithms + (13. Juli 2015, 15:50:00)
- Problem Solving and Search in Artificial Intelligence + (14. Juli 2015, 10:50:00)
- Problem Solving and Search in Artificial Intelligence + (14. Juli 2015, 12:40:00)
- Foundations of Semantic Web Technologies + (15. Juli 2015, 14:30:00)
- Deduction Systems + (16. Juli 2015, 14:30:00)
- Foundations of Databases and Query Languages + (17. Juli 2015, 14:30:00)
- Knowledge Representation and Reasoning Seminar + (20. Juli 2015, 10:50:00)
- Foundations of Databases and Query Languages + (20. Juli 2015, 12:40:00)
- What makes modern SAT Solvers work that well + (20. Juli 2015, 15:50:00)
- Foundations of Databases and Query Languages + (24. Juli 2015, 14:30:00)
- Reasonable Highly Expressive Query Languages + (3. August 2015, 15:50:00)
- Temporal Query Answering in EL + (10. August 2015, 15:50:00)
- Membership Constraints in Formal Concept Analysis + (17. August 2015, 15:50:00)
- Characterization of the Expressivity of Existential Rule Queries + (24. August 2015, 15:50:00)
- On the Complexity of k-Piecewise Testability and the Depth of Automata + (31. August 2015, 15:50:00)
- Verification of Knowledge-Based Programs over Description Logic Actions + (7. September 2015, 15:50:00)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (22. September 2015, 18:00:00)
- 38th German Conference on Artificial Intelligence + (25. September 2015, 18:00:00)
- ICCL-SS-2015 + (26. September 2015)
- ICCL Summer School 2015 + (26. September 2015, 18:00:00)
- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA + (28. September 2015, 15:00:00)
- NextClosures: Parallel Computation of the Canonical Base + (5. Oktober 2015, 16:00:00)
- Foundations of Constraint Programming + (12. Oktober 2015, 12:40:00)
- Foundations of Logic Programming + (12. Oktober 2015, 14:30:00)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (12. Oktober 2015, 15:50:00)
- Introduction to Formal Concept Analysis + (12. Oktober 2015, 16:20:00)
- Logic + (12. Oktober 2015, 18:10:00)
- Logic + (14. Oktober 2015, 10:50:00)
- Complexity Theory + (14. Oktober 2015, 14:30:00)
- Practical Planning for Angry Birds + (14. Oktober 2015, 18:10:00)
- Logic + (15. Oktober 2015, 14:30:00)
- Complexity Theory + (16. Oktober 2015, 14:30:00)
- Logic + (16. Oktober 2015, 16:20:00)
- Seminar Abstract Argumentation + (16. Oktober 2015, 18:10:00)
- Introduction to Formal Concept Analysis + (19. Oktober 2015, 10:50:00)
- Foundations of Constraint Programming + (19. Oktober 2015, 12:40:00)
- Foundations of Logic Programming + (19. Oktober 2015, 14:30:00)
- Introduction to Formal Concept Analysis + (19. Oktober 2015, 16:20:00)
- Logic + (19. Oktober 2015, 18:10:00)
- Foundations of Logic Programming + (20. Oktober 2015, 09:00:00)
- Complexity Theory + (20. Oktober 2015, 10:50:00)
- Logic + (21. Oktober 2015, 10:50:00)