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

• 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)
• 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)