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

• Answering Temporal Conjunctive Queries over DL Ontologies  + (Stefan Borgwardt)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (Stefan Borgwardt)
• Expressivity of Planning with Horn Description Logic Ontologies  + (Stefan Borgwardt)
• Multi-Context Stream Reasoning  + (Stefan Ellmauthaler)
• Agile Project Management - An overview on techniques and the agile mindset  + (Stefan Ellmauthaler)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (Stefan Ellmauthaler)
• Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit  + (Steffen Breuer)
• Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces  + (Steffen Guhlemann)
• Context Reasoning for Role-Based Models  + (Stephan Böhme)
• Justifying All Differences Using Pseudo-Boolean Reasoning  + (Stephan Gocht)
• Musings on the Semantics of SPARQL  + (Stephan Mennicke)
• Answering Queries with Negation over Existential Rules  + (Stephan Mennicke)
• Communication with Automata  + (Stephan Mennicke)
• Adventures in Computer Science -- Grades 1 & 2  + (Stephan Mennicke)
• Abstract Domains for Database Manipulating Processes  + (Stephan Mennicke)
• Musings on Graph Data, Schemas, Modality, and Coinduction  + (Stephan Mennicke)
• Two-Dimensional Description Logics of Context  + (Szymon Klarman)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (Theofilos Mailis)
• Classification of the finite polymorphism-homogeneous tournaments with loops  + (Thomas Feller)
• A gentle introduction to partition width  + (Thomas Feller)
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying  + (Thomas Feller)
• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (Thomas Linsbichler)
• Generalized Consistent Query Answering under Existential Rules  + (Thomas Lukasiewicz)

• An Introduction to Proof Theory I: Sequent Calculus  + (Tim Lyon)
• An Introduction to Proof Theory II: More on the Sequent Calculus  + (Tim Lyon)
• Nested Sequents for First-Order Modal Logics via Reachability Rules  + (Tim Lyon)
• The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics  + (Tim Lyon)

• KLM-Style Defeasible Reasoning  + (Tommie Meyer)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (Tomáš Masopust)
• On the Complexity of Universality for Partially Ordered NFAs  + (Tomáš Masopust)
• Automata, Logic, Algebra... What do they have in common?  + (Tomáš Masopust)
• Decomposition of regular languages  + (Tomáš Masopust)
• Mining DL ontologies  + (Ulrike Sattler)
• Intertranslatability of Labeling-based Argumentation Semantics  + (Umer Mushtaq)
• Smoke Test Planning using Answer Set Programming  + (Valentin Roland)
• Temporal Query Answering in EL  + (Veronika Thost)
• Ontologies for Knowledge Graphs: Breaking the Rules  + (Veronika Thost)
• Investigating the finite-cliquewidth-model property of C².  + (Vincent Peth)
• Explaining neural network reasoning  + (Walter Forkel)
• On inconsistency-minimizing, paraconsistent reasoning in knowledge bases  + (Walter Forkel)
• Revisiting Circumscription  + (Walter Forkel)
• Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies  + (Walter Forkel)
• Query Stability in Data-aware Business Processes  + (Werner Nutt)
• Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing  + (Weronika T. Adrian)
• A Dichotomy for Evaluating Simple Regular Path Queries  + (Wim Martens)
• Lyndon words and density of runs  + (Štěpán Holub)