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

• 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)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning  + (Irina Dragoste)
• Tracking False Information Online  + (Isabelle Augenstein)
• Most Probable Explanations for Probabilistic Database Queries  + (Ismail Ilkan Ceylan)
• VLog: A Column-oriented Rule-Based Engine  + (Jacopo Urbani)
• Positivity-Hardness and Saturation Points in Markov Decision Processes  + (Jakob Piribauer)
• Temporal constraint satisfaction problems in least fixed point logic  + (Jakub Rydval)
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains  + (Jakub Rydval)

• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics  + (Javanshir Alammadli)

• What makes a variant of query determinacy (un)decidable?  + (Jerzy Marcinkowski)
• An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation  + (Jesse Heyninck)
• Weighted Model Counting on the GPU by Exploiting Small Treewidth  + (Johannes Fichte)
• A Glimpse into Propositional Model Counting  + (Johannes K. Fichte)
• Imprecise Probabilities in Decision-making  + (Jonas Karge)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (Jonas Karge)
• To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence  + (Jonas Karge)
• A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  + (Jonathan Goldstein)
• Knowledge graphs: description, validation and subsetting  + (Jose Emilio Labra Gayo)
• Integrating Semantic Web in the Real World: A journey between two cities  + (Juan Sequeda)
• Querying Probabilistic Ontologies  + (Jörg Schönfisch)
• Computability and Complexity of (Iterated) Belief Revision  + (Kai Sauerwald)
• Deontic Explanations via Logical Argumentation.  + (Kees van Berkel)
• Static Program Analysis in Datalog  + (Knut Berling)
• Beyond NP Revolution  + (Kuldeep Meel)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (Larry Gonzalez)
• Multilinguality in Knowledge Graphs  + (Lucie-Aimée Kaffee)
• Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy  + (Lucía Gómez Álvarez)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (Lucía Gómez Álvarez)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (Lucía Gómez Álvarez)
• Weighted Automata with Storage  + (Luisa Hermann)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (Luisa Herrmann)
• Tree Automata with Global and Non-Global Counting  + (Luisa Herrmann)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas Gerlach)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas Gerlach)