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
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (29. Juni 2023, 11:00:00)
- Advanced Problem Solving and Search + (30. Juni 2023, 07:30:00)
- Advanced Problem Solving and Search + (3. Juli 2023, 07:30:00)
- Advanced Problem Solving and Search + (3. Juli 2023, 09:20:00)
- Database Theory + (3. Juli 2023, 09:20:00)
- Introduction to Existential Rules + (3. Juli 2023, 09:20:00)
- Algorithmic Game Theory + (3. Juli 2023, 11:10:00)
- Seminar Logic-Based Knowledge Representation + (3. Juli 2023, 14:50:00)
- Algorithmic Game Theory + (3. Juli 2023, 16:40:00)
- Quotation in Formal Logics and the Web + (4. Juli 2023, 09:20:00)
- Database Theory + (4. Juli 2023, 09:20:00)
- Concurrency Theory + (4. Juli 2023, 11:10:00)
- Database Theory + (4. Juli 2023, 14:50:00)
- Quotation in Formal Logics and the Web + (5. Juli 2023, 11:10:00)
- Investigating the finite-cliquewidth-model property of C². + (6. Juli 2023, 11:00:00)
- Advanced Problem Solving and Search + (7. Juli 2023, 07:30:00)
- Advanced Problem Solving and Search + (10. Juli 2023, 07:30:00)
- Advanced Problem Solving and Search + (10. Juli 2023, 09:20:00)
- Introduction to Existential Rules + (10. Juli 2023, 09:20:00)
- Algorithmic Game Theory + (10. Juli 2023, 11:10:00)
- Algorithmic Game Theory + (10. Juli 2023, 16:40:00)
- Quotation in Formal Logics and the Web + (11. Juli 2023, 09:20:00)
- Concurrency Theory + (11. Juli 2023, 11:10:00)
- Database Theory + (11. Juli 2023, 14:50:00)
- Quotation in Formal Logics and the Web + (12. Juli 2023, 11:10:00)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (13. Juli 2023, 11:00:00)
- Advanced Problem Solving and Search + (17. Juli 2023, 09:20:00)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (27. Juli 2023, 11:00:00)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (24. August 2023, 11:00:00)
- Formalizing "Formale Systeme" + (31. August 2023, 11:00:00)
- Representative Answer Sets: Collecting Something of Everything + (14. September 2023, 11:00:00)
- Temporal reasoning with DatalogMTL + (19. September 2023, 11:00:00)
- Knowledge graphs: description, validation and subsetting + (5. Oktober 2023, 11:00:00)
- Complexity Theory + (9. Oktober 2023, 09:20:00)
- Introduction to Formal Concept Analysis + (9. Oktober 2023, 11:10:00)
- Formale Systeme + (9. Oktober 2023, 11:10:00)
- Foundations of Logic Programming + (9. Oktober 2023, 14:50:00)
- Foundations of Knowledge Representation + (9. Oktober 2023, 16:40:00)
- Complexity Theory + (10. Oktober 2023, 09:20:00)
- Knowledge Graphs + (10. Oktober 2023, 11:10:00)
- Foundations of Semantic Web Technologies + (11. Oktober 2023, 13:00:00)
- Formale Systeme + (12. Oktober 2023, 13:00:00)
- Formale Systeme + (15. Oktober 2023, 23:30:00)
- Complexity Theory + (16. Oktober 2023, 09:20:00)
- Introduction to Formal Concept Analysis + (16. Oktober 2023, 09:20:00)
- Introduction to Formal Concept Analysis + (16. Oktober 2023, 11:10:00)
- Formale Systeme + (16. Oktober 2023, 11:10:00)
- Foundations of Semantic Web Technologies + (16. Oktober 2023, 13:00:00)
- Foundations of Logic Programming + (16. Oktober 2023, 14:50:00)
- Foundations of Knowledge Representation + (16. Oktober 2023, 16:40:00)
- Advanced Problem Solving and Search + (17. Oktober 2023, 09:20:00)
