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

• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Brandon Bennett)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Brandon Bennett)

• Multi-Context Reasoning in Continuous Data-Flow Environments  + (Gerhard Brewka)
• Weighted Automata with Storage  + (Heiko Vogler, George Rahonis)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (Prof. Dr. Bernhard Ganter, Prof. Dr. Sergey Kusnetzov)
• Probabilistic Causality in Markovian Models  + (Prof. Dr. Christel Baier)
• On the Satisfiability of Temporal Logics with Concrete Domains  + (Prof. Dr. Markus Lohrey (Supervisor, Referee) Prof. Dr. Carsten Lutz (External referee) Prof. Dr. Franz Baader (Second supervisor))
• Description Logic Rules  + (Rudi Studer, Peter H. Schmitt, Pascal Hitzler)
• A Scalable Analysis Framework for Large-scale RDF Data  + (Spyros Kotoulas; Tomas Ward; Georgios Theodoropoulos)
• A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation  + (Stefan Woltran)
• Neural-Symbolic Integration  + (Steffen Hölldobler)
• Deep Inference and Symmetry in Classical Proofs  + (Steffen Hölldobler)
• Nondeterminism and Language Design in Deep Inference  + (Steffen Hölldobler)
• Modellgenerierung mit konnektionistischen Systemen  + (Steffen Hölldobler)
• Planen im Fluentkalkül mit binären Entscheidungsdiagrammen  + (Steffen Hölldobler)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Steffen Hölldobler)
• Logisches Schliesen mit massiv parallelen Methoden  + (Steffen Hölldobler)
• Non-Standard Semantics for Graph Query Languages  + (Wolf-Tilo Balke and Gerhard Weikum)