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
- 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)
