Search by property
From International Center for Computational Logic
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
- 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)
