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

• 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)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (Filippo De Bortoli)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (Filippo De Bortoli)
• Modeling Concept Learning Problems with Second-Order Description Logics  + (Francesca Alessandra Lisi)
• Learning in Fuzzy Description Logics  + (Francesca Alessandra Lisi)
• NextClosures: Parallel Computation of the Canonical Base  + (Francesco Kriegel)
• The Relevance of Formal Logics for Cognitive Logics, and Vice Versa  + (Gabriele Kern-Isberner)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (Georg Wild)
• ASYDE: An Argumentation-based System for classifYing Driving bEhaviors  + (Giuseppina Monterosso)
• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (Hannes Straß)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics  + (Hannes Straß)
• Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2  + (Hannes Straß)
• Strong Equivalence in Non-monotonic Reasoning  + (Hannes Straß)
• Quine's Fluted Fragment  + (Ian Pratt-Hartmann)
• Fluted Logic with Counting  + (Ian Pratt-Hartmann)
• Ontology Evolution trough Interaction  + (Irina Dragoste)
• Efficient Model Construction for Horn Logic with VLog  + (Irina Dragoste)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Irina Dragoste)