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

• 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)
• Notation3 Logic: From informal to formal semantics  + (30. Juli 2020, 13:00:00)
• Smoke Test Planning using Answer Set Programming  + (10. September 2020, 13:00:00)
• KI Nachwuchsgruppe für Sarah Gaggl  + (18. September 2020)
• Weighted Automata with Storage  + (29. September 2020)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (8. Oktober 2020, 13:00:00)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (22. Oktober 2020, 13:00:00)
• Forgetting Atoms and Arguments  + (27. Oktober 2020, 11:15:00)
• Multi-Context Stream Reasoning  + (29. Oktober 2020, 13:00:00)
• Elisa Böhl wechselt zum NAVAS-Projekt  + (1. November 2020)
• Positivity-Hardness and Saturation Points in Markov Decision Processes  + (5. November 2020, 13:00:00)
• Neuer Mitarbeiter: Jonas Karge  + (16. Dezember 2020)
• Neuer Mitarbeiter: Tim Lyon  + (17. Dezember 2020)
• Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit  + (17. Dezember 2020, 13:00:00)