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

• 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)
• Lehr- und Prüfungsbetrieb während der COVID-19 Pandemie  + (22. März 2020)
• Neue Mitarbeiterin: Dr. Lucía Gómez Álvarez  + (13. April 2020)
• Neuer Mitarbeiter: Dr. Stephan Mennicke  + (1. Mai 2020)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Mai 2020)
• Compositional Matrix-Space Models: Learning Methods and Evaluation  + (28. Mai 2020, 13:00:00)
• The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics  + (11. Juni 2020, 13:00:00)
• ASNP: a tame fragment of existential second-order logic  + (25. Juni 2020, 13:00:00)
• Imprecise Probabilities in Decision-making  + (9. Juli 2020, 13:00:00)
• Forschungsergebnisse in 2020  + (22. Juli 2020)
• On the Complexity of Synthesis of nop-Free Boolean Petri Nets  + (24. Juli 2020, 13:00:00)