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

• 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)
• Advanced Problem Solving and Search  + (26. April 2021, 10:50:00)
• Theoretische Informatik und Logik  + (26. April 2021, 10:50:00)
• Seminar: Knowledge Representation  + (26. April 2021, 12:40:00)
• Database Theory  + (26. April 2021, 16:20:00)
• Database Theory  + (26. April 2021, 18:10:00)
• Advanced Problem Solving and Search  + (27. April 2021, 10:50:00)
• Database Theory  + (27. April 2021, 12:40:00)
• Seminar Data-Aware Processes  + (27. April 2021, 16:20:00)
• Finite and algorithmic model theory  + (27. April 2021, 16:20:00)
• Finite and algorithmic model theory  + (28. April 2021, 12:40:00)
• Theoretische Informatik und Logik  + (29. April 2021, 14:30:00)
• From Data to Knowledge: Extending Database Techniques for Knowledge Graphs  + (29. April 2021, 16:00:00)
• Theoretische Informatik und Logik  + (30. April 2021, 23:59:00)
• Theoretische Informatik und Logik  + (3. Mai 2021, 10:50:00)
• Advanced Problem Solving and Search  + (3. Mai 2021, 10:50:00)
• Seminar: Knowledge Representation  + (3. Mai 2021, 12:40:00)
• Database Theory  + (3. Mai 2021, 16:20:00)
• Database Theory  + (3. Mai 2021, 18:10:00)
• Advanced Problem Solving and Search  + (4. Mai 2021, 10:50:00)
• Database Theory  + (4. Mai 2021, 12:40:00)
• Finite and algorithmic model theory  + (4. Mai 2021, 16:20:00)
• Finite and algorithmic model theory  + (5. Mai 2021, 12:40:00)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (6. Mai 2021, 14:30:00)