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
- A Scalable Analysis Framework for Large-scale RDF Data + (National University of Ireland Maynooth)
- Non-Standard Semantics for Graph Query Languages + (TU Braunschweig)
- Towards Next Generation Sequential and Parallel SAT Solvers + (TU Dresden)
- From Logic Programming to Human Reasoning: How to be Artificially Human + (TU Dresden)
- Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information + (TU Dresden)
- Probabilistic Causality in Markovian Models + (TU Dresden)
- A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation + (TU Wien)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (Technische Universität Dresden)
- Neural-Symbolic Integration + (Technische Universität Dresden)
- Nondeterminism and Language Design in Deep Inference + (Technische Universität Dresden)
- Weighted Automata with Storage + (Technische Universität Dresden)
- Refining Labelled Systems for Modal and Constructive Logics with Applications + (Technische Universität Wien)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (Technischen Universitat Dresden)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (University of Leeds)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (University of Leeds)
- On the Satisfiability of Temporal Logics with Concrete Domains + (Universität Leipzig)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (Universität Leipzig)
- Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance + (Universität Wien)