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

• 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)
• 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))
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (Dominic Deckert)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (Dominik Rusovac)
• Ongoing Research in the NAVAS Project  + (Dominik Rusovac)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Dominik Rusovac)
• Answer Set Navigation alongside Quantitative Reasoning  + (Dominik Rusovac)
• Notation3 Logic: From informal to formal semantics  + (Dörthe Arndt)
• Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration  + (Dörthe Arndt)
• Notation3 as an Existential Rule Language  + (Dörthe Arndt)
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg  + (Elisa Böhl)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (Elisa Böhl)
• Representative Answer Sets: Collecting Something of Everything  + (Elisa Böhl)
• Winning Snake: Design Choices in Multi-Shot ASP  + (Elisa Böhl)
• Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium  + (Emma Reyner-Fuentes)
• Enterprise Management in the Presence of Data  + (Evellin Cardoso)
• On the Complexity of Synthesis of nop-Free Boolean Petri Nets  + (Evgeny Erofeev)
• A diamond in the rough: Theorizing column stores  + (Eyal Rozenberg)
• Epistemic Answer Set Programming  + (Ezgi Iraz Su)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (Faiq Miftakhul Falakh)
• Enabling Fine-grained RDF Data Completeness Assessment  + (Fariz Darari)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (Fariz Darari)
• Managing and Consuming Completeness Information for RDF Data Sources  + (Fariz Darari)