Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
