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
- 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)
- 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)
- Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics + (David Carral)
- Tractable Query Answering for Expressive Ontologies and Existential Rules + (David Carral)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (David Carral)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (David Carral)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (David Carral)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (David Carral)
- Checking Chase Termination over Ontologies of Existential Rules with Equality + (David Carral)
- Normalisations of Existential Rules: Not so Innocuous! + (David Carral)
- Logic for Database Systems Implementation + (David Toman)
- A Logic-based Reasoning Framework for Graph Databases + (Davide Di Pierro)
- Restricted Chase (Non)Termination for Existential Rules with Disjunctions + (Davil Carral)
- Visualization and navigation paradigms for triadic formal concept analysis + (Diana Troancă)
- Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis + (Diana Troancă)
- A proof of CSP Dichotomy conjecture + (Dmitriy Zhuk (Lomonosov Moscow State University))
