Truncation and Semi-Decidability Notions in Applicative Theories.

Gerhard Jäger Timotej Rosebrock Sato Kentaro

Published in: J. Symb. Log. (2018)

Keyphrases

computational properties
description logics
query answering
propositional theories
theoretical framework
neural network
database
databases
data mining
machine learning
artificial intelligence
relational databases
probability theory
defeasible logic
formal models