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

• Foundations of Knowledge Representation  + (28. Januar 2021, 09:00:00)
• Formale Systeme  + (28. Januar 2021, 12:40:00)
• Formale Systeme  + (28. Januar 2021, 23:59:00)
• Problem Solving and Search in Artificial Intelligence  + (29. Januar 2021, 09:00:00)
• Problem Solving and Search in Artificial Intelligence  + (29. Januar 2021, 10:50:00)
• Introduction to Formal Concept Analysis  + (1. Februar 2021, 10:50:00)
• Formale Systeme  + (1. Februar 2021, 10:50:00)
• Foundations of Logic Programming  + (1. Februar 2021, 18:10:00)
• Formale Systeme  + (1. Februar 2021, 23:59:00)
• Knowledge Graphs  + (2. Februar 2021, 10:50:00)
• Knowledge Graphs  + (2. Februar 2021, 12:40:00)
• Foundations of Complexity Theory  + (2. Februar 2021, 16:20:00)
• Foundations of Complexity Theory  + (2. Februar 2021, 23:59:00)
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (4. Februar 2021, 14:30:00)
• Formale Systeme  + (4. Februar 2021, 23:59:00)
• Formale Systeme  + (4. Februar 2021, 23:59:00)
• Problem Solving and Search in Artificial Intelligence  + (5. Februar 2021, 09:00:00)
• Knowledge Graphs  + (9. Februar 2021, 12:40:00)
• Knowledge Graphs for AI: Wikidata and Beyond  + (11. Februar 2021, 14:30:00)
• Formale Systeme  + (25. Februar 2021, 10:50:00)
• Knowledge Graphs  + (26. Februar 2021, 10:50:00)
• Formale Systeme  + (4. März 2021, 10:50:00)
• Solving Datalog(S) Problems with Lazy-Grounding ASP Solving  + (4. März 2021, 14:30:00)
• Knowledge Graphs  + (15. März 2021, 14:30:00)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (18. März 2021, 14:30:00)

• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (25. März 2021, 14:30:00)

• Using Datalog to Ground ASP Programs  + (1. April 2021, 14:30:00)
• Detecting Non-Existence of Finite Universal Models for Existential Rules  + (8. April 2021, 14:30:00)
• Advanced Problem Solving and Search  + (12. April 2021, 10:50:00)
• Theoretische Informatik und Logik  + (12. April 2021, 10:50:00)
• Seminar: Knowledge Representation  + (12. April 2021, 12:40:00)
• Database Theory  + (12. April 2021, 16:20:00)
• Database Theory  + (12. April 2021, 18:10:00)
• Seminar Data-Aware Processes  + (13. April 2021, 16:20:00)
• Finite and algorithmic model theory  + (13. April 2021, 16:20:00)
• Finite and algorithmic model theory  + (14. April 2021, 12:40:00)
• An Introduction to Proof Theory I: Sequent Calculus  + (15. April 2021, 14:30:00)
• Theoretische Informatik und Logik  + (15. April 2021, 14:30:00)
• Theoretische Informatik und Logik  + (16. April 2021, 23:59:00)
• Advanced Problem Solving and Search  + (19. April 2021, 10:50:00)
• Theoretische Informatik und Logik  + (19. April 2021, 10:50:00)
• Seminar: Knowledge Representation  + (19. April 2021, 12:40:00)
• Database Theory  + (19. April 2021, 16:20:00)
• Database Theory  + (19. April 2021, 18:10:00)
• Database Theory  + (20. April 2021, 12:40:00)
• Finite and algorithmic model theory  + (20. April 2021, 16:20:00)
• Seminar Data-Aware Processes  + (20. April 2021, 16:20:00)
• Finite and algorithmic model theory  + (21. April 2021, 12:40:00)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (22. April 2021, 14:30:00)
• Theoretische Informatik und Logik  + (22. April 2021, 14:30:00)
• Theoretische Informatik und Logik  + (23. April 2021, 23:59:00)