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
- Deduction Systems + (1. Juli 2019, 16:20:00)
- Database Theory + (2. Juli 2019, 10:50:00)
- Academic Skills in Computer Science + (2. Juli 2019, 12:40:00)
- Academic Skills in Computer Science + (2. Juli 2019, 16:20:00)
- Database Theory + (3. Juli 2019, 12:40:00)
- Database Theory + (5. Juli 2019, 16:20:00)
- Problem Solving and Search in Artificial Intelligence + (8. Juli 2019, 10:50:00)
- Problem Solving and Search in Artificial Intelligence + (8. Juli 2019, 12:40:00)
- Deduction Systems + (8. Juli 2019, 16:20:00)
- Database Theory + (9. Juli 2019, 10:50:00)
- Academic Skills in Computer Science + (9. Juli 2019, 12:40:00)
- Academic Skills in Computer Science + (9. Juli 2019, 16:20:00)
- Database Theory + (10. Juli 2019, 12:40:00)
- Introduction to p-adic numbers and analysis + (10. Juli 2019, 15:00:00)
- Epistemic Answer Set Programming + (11. Juli 2019, 14:30:00)
- Database Theory + (12. Juli 2019, 16:20:00)
- Automatic Extraction of Compositional Matrix-Space Models of Language + (15. Juli 2019, 12:30:00)
- Seminar: Logical Modelling + (15. Juli 2019, 18:10:00)
- Reasoning about disclosure in data integration in the presence of source constraints + (18. Juli 2019, 14:00:00)
- Extending EL++ with Linear Constraints on the Probability of Axioms + (23. Juli 2019, 15:00:00)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (30. Juli 2019, 13:30:00)
- GoAsQ + (31. Juli 2019)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (1. August 2019, 14:00:00)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (29. August 2019, 14:00:00)
- Mixing Description Logics in Privacy-Preserving Ontology Publishing + (5. September 2019, 14:00:00)
- A gentle introduction to partition width + (12. September 2019, 14:30:00)
- Automatic translation of clinical trial eligibility criteria into formal queries + (16. September 2019, 14:00:00)
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (20. September 2019, 00:00:00)
- A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications + (20. September 2019, 14:00:00)
- Knowledge Dynamics in Social Environments + (26. September 2019, 14:30:00)
- Foundations of Logic Programming + (14. Oktober 2019, 16:20:00)
- Foundations of Constraint Programming + (14. Oktober 2019, 18:10:00)
- Problem Solving and Search in Artificial Intelligence + (15. Oktober 2019, 09:00:00)
- Complexity Theory + (15. Oktober 2019, 10:50:00)
- Knowledge Graphs + (15. Oktober 2019, 12:40:00)
- Knowledge Graphs + (15. Oktober 2019, 16:20:00)
- Complexity Theory + (16. Oktober 2019, 12:40:00)
- Seminar Selected Topics in Database Theory + (16. Oktober 2019, 18:10:00)
- Seminar Selected Topics of Computational Logic + (17. Oktober 2019, 10:50:00)
- Complexity Theory + (21. Oktober 2019, 10:50:00)
- Introduction to Formal Concept Analysis + (21. Oktober 2019, 12:40:00)
- Foundations of Logic Programming + (21. Oktober 2019, 16:20:00)
- Foundations of Constraint Programming + (21. Oktober 2019, 18:10:00)
- Problem Solving and Search in Artificial Intelligence + (22. Oktober 2019, 09:00:00)
- Complexity Theory + (22. Oktober 2019, 10:50:00)
- Knowledge Graphs + (22. Oktober 2019, 12:40:00)
- Knowledge Graphs + (22. Oktober 2019, 16:20:00)
- Complexity Theory + (23. Oktober 2019, 12:40:00)
- Seminar Selected Topics in Database Theory + (23. Oktober 2019, 18:10:00)
- Problem Solving and Search in Artificial Intelligence + (24. Oktober 2019, 09:00:00)
- Interface between Logical Analysis of Data and Formal Concept Analysis + (24. Oktober 2019, 14:30:00)