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

• Knowledge Graph Embedding  + (7. Februar 2019, 13:00:00)
• Temporal Logics with Probabilistic Distributions  + (28. März 2019, 13:00:00)
• Third Workshop on Human Reasoning and Computational Logic  + (4. April 2019, 09:00:00)
• Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization  + (4. April 2019, 13:00:00)
• Beyond NP Revolution  + (9. April 2019, 13:30:00)
• The Power of the Terminating Chase  + (11. April 2019, 13:00:00)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (18. April 2019, 13:00:00)
• Data Science Use Cases for Lifestyle Banking  + (25. April 2019, 13:00:00)
• Quine's Fluted Fragment  + (9. Mai 2019, 13:00:00)
• Explorations into Belief State Compression  + (28. Mai 2019, 13:30:00)
• Projection in a Description Logic of Context with Actions  + (6. Juni 2019, 13:00:00)
• Discovering Implicational Knowledge in Wikidata  + (13. Juni 2019, 13:00:00)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (13. Juni 2019, 13:30:00)
• Introduction to p-adic numbers and analysis  + (10. Juli 2019, 13:30:00)
• Epistemic Answer Set Programming  + (11. Juli 2019, 13:00:00)
• Automatic Extraction of Compositional Matrix-Space Models of Language  + (15. Juli 2019, 11:00:00)
• Reasoning about disclosure in data integration in the presence of source constraints  + (18. Juli 2019, 13:00:00)
• Extending EL++ with Linear Constraints on the Probability of Axioms  + (23. Juli 2019, 13:30:00)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (30. Juli 2019, 13:00:00)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (1. August 2019, 13:00:00)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (29. August 2019, 13:00:00)
• Neuer Mitarbeiter: M.Sc. Ali Elhalawati  + (1. September 2019)
• Markus Krötzsch gab einen Kurs bei der EDBT Summer School  + (3. September 2019)
• Mixing Description Logics in Privacy-Preserving Ontology Publishing  + (5. September 2019, 13:00:00)
• A gentle introduction to partition width  + (12. September 2019, 13:00:00)

• Automatic translation of clinical trial eligibility criteria into formal queries  + (16. September 2019, 13:00:00)

• Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3)  + (17. September 2019, 00:00:00)
• A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  + (20. September 2019, 13:00:00)
• Vice World Champion in the AI Birds Challenge!  + (21. September 2019)
• Reasoning Web Summer School 2019  + (25. September 2019)
• Knowledge Dynamics in Social Environments  + (26. September 2019, 13:00:00)
• Neue Mitarbeiterin: Dipl.-Inf Elisa Böhl  + (16. Oktober 2019)
• Interface between Logical Analysis of Data and Formal Concept Analysis  + (24. Oktober 2019, 13:00:00)
• Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference  + (30. Oktober 2019)
• Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics  + (14. November 2019, 13:00:00)
• A diamond in the rough: Theorizing column stores  + (21. November 2019, 13:00:00)
• Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers  + (22. November 2019, 10:00:00)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (28. November 2019, 13:00:00)
• CAPTCHA! Maschinen lernen Handeln von Menschen, die nicht verstehen, was sie wissen. Schwarzmarkt für nützliches Wissen und Nicht-Wissen Nr. 23  + (3. Dezember 2019)
• What makes a variant of query determinacy (un)decidable?  + (5. Dezember 2019, 13:00:00)
• Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy  + (12. Dezember 2019, 13:00:00)
• Justifying All Differences Using Pseudo-Boolean Reasoning  + (17. Dezember 2019, 15:00:00)
• SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability  + (19. Dezember 2019, 13:00:00)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (2020)
• Musings on the Semantics of SPARQL  + (9. Januar 2020, 13:00:00)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (23. Januar 2020, 13:00:00)
• Modeling Computational Properties of Description Logics in ASP  + (29. Januar 2020, 09:00:00)
• Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain  + (30. Januar 2020, 13:00:00)
• A Distributed Blockchain Model of Selfish Mining  + (26. Februar 2020, 12:30:00)
• Tracking False Information Online  + (27. Februar 2020, 16:15:00)
• Non-Standard Semantics for Graph Query Languages  + (11. März 2020)