Account
Edit tools
Intern
SucheSearch
English

Attribut:School

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
TU Wien  +
A Scalable Analysis Framework for Large-scale RDF Data +
National University of Ireland Maynooth  +
D
Database-Inspired Reasoning Problems in Description Logics With Path Expressions +
Technischen Universitat Dresden  +
Deep Inference and Symmetry in Classical Proofs +
Dresden University of Technology  +
Description Logic Rules +
KIT  +
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  +
F
From Logic Programming to Human Reasoning: How to be Artificially Human +
TU Dresden  +
L
Learning Terminological Knowledge with High Confidence from Erroneous Data +
Technische Universität Dresden  +
Linear Logic and Noncommutativity in the Calculus of Structures +
Dresden University of Technology  +
Logisches Schliesen mit massiv parallelen Methoden +
Dresden University of Technology  +
M
Modellgenerierung mit konnektionistischen Systemen +
Dresden University of Technology  +
Multi-Context Reasoning in Continuous Data-Flow Environments +
Universität Leipzig  +
N
Neural-Symbolic Integration +
Technische Universität Dresden  +
Non-Standard Semantics for Graph Query Languages +
TU Braunschweig  +
Nondeterminism and Language Design in Deep Inference +
Technische Universität Dresden  +
O
On the Satisfiability of Temporal Logics with Concrete Domains +
Universität Leipzig  +
P
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen +
Dresden University of Technology  +
R
Refining Labelled Systems for Modal and Constructive Logics with Applications +
Technische Universität Wien  +
S
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  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:School&oldid=284“