Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)
• Detecting Non-Existence of Finite Universal Models for Existential Rules  + (Lukas Gerlach)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas Gerlach)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase  + (Lukas Gerlach)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination  + (Lukas Gerlach)
• Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models  + (Lukas Gerlach)
• Finite Groundings for ASP with Functions: A Journey through Consistency  + (Lukas Gerlach)
• Formalizing Possibly Infinite Trees of Bounded Degree  + (Lukas Gerlach)
• Description Logic with Abstraction and Refinement  + (Lukas Schulze)