Suche mittels Attribut
Aus International Center for Computational Logic
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
- Attributed Description Logics: Ontologies for Knowledge Graphs + (Ana Ozaki)
- Notes on Computational Learning Theory and the problem of learning CNFs + (Ana Ozaki)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (Ana Ozaki)
- Finite Base Contraction and Expansion via Models - The ALC case + (Ana Ozaki)
- Querying Wikidata with GraphQL + (Anas Shahab)
- 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))
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + (Bartosz Bednarczyk)
- Data Complexity in Expressive Description Logics With Path Expressions + (Bartosz Bednarczyk)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (Bartosz Bednarczyk)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (Bartosz Bednarczyk)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (Bartosz Bednarczyk)
- Modal Separation Logic: an ongoing quest for elementary complexity + (Bartosz Bednarczyk)
- On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics + (Bartosz Bednarczyk)
- PhD Defense of Bartosz Bednarczyk + (Bartosz Bednarczyk)
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard + (Bartosz Bednarczyk)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (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)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (Christian Lewe)
- An overview of Datalog boundedness + (Christian Lewe)
- Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog + (Christian Lewe)
- Constraint Propagation and Pebble Games + (Christoph Berkholz)
- Satisfiability of temporal logics with concrete domain + (Claudia Carapelle)
- Augmenting human cognition in collaborative knowledge collections + (Claudia Müller-Birn)
- Explaining Answer Sets using Argumentation Theory + (Claudia Schulz)
- Causality meets Configurable Systems + (Clemens Dubslaff)
- Body-Mind-Language: Embodied Cognition in Natural Language + (Dagmar Gromann)
- Embodied Terminology: Language, Knowledge, and Cognition + (Dagmar Gromann)
