Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• On Mono- and Multilingual Word embeddings for NLP  + (Anatoly Zelenin)
• Question Answering Systems  + (Anatoly Zelenin)
• Question Answering over Real-World Knowledge Graphs  + (Anatoly Zelenin)
• From Classical to Consistent Query Answering under Existential Rules  + (Andreas Pieris)
• SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)  + (Anouk Michelle Oudshoorn)

• A Distributed Blockchain Model of Selfish Mining  + (Ansgar Fehnker)

• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (Antoine Mottet)
• Introduction to p-adic numbers and analysis  + (Anton Claußnitzer)
• Minesweeper goes Kaboom (in ASP) - and what makes it difficult  + (Antonio Hentschke)
• Finding p-indecomposable Functions  + (Artem Revenko)
• Cyclic Proof Theory  + (Bahareh Afshari (University of Gothenburg))
• Modal Separation Logic: an ongoing quest for elementary complexity  + (Bartosz Bednarczyk)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (Bartosz Bednarczyk)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (Bartosz Bednarczyk)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Bartosz Bednarczyk)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (Bartosz Bednarczyk)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (Bartosz Bednarczyk)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions.  + (Bartosz Bednarczyk)
• Data Complexity in Expressive Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• PhD Defense of Bartosz Bednarczyk  + (Bartosz Bednarczyk)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Verification of Golog Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (Benjamin Zarrieß)
• Logical Foundations of Linked Data Anonymisation  + (Bernardo Cuenca Grau)
• From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals  + (Bertram Ludäscher)
• Data Science Use Cases for Lifestyle Banking  + (Boontawee (Meng) Suntisrivaraporn)
• Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition  + (Boontawee Suntisrivaraporn)
• Inconsistency Handling in Ontology-Mediated Query Answering  + (Camille Bourgaux)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (Chao Xu)
• Faceted Answer-Set Navigation  + (Christian Al-Rabbaa)