Decidability of the Existential Theory of Infinite Terms with Subterm Relation

Published in: Inf. Comput. (1994)

Keyphrases

query answering
learning algorithm
theoretical foundation
co occurrence
theoretical framework
machine learning
information retrieval
artificial intelligence
decision trees
relational databases
knowledge representation
description logics
theoretical basis
transitive closure
formal theory
abstract argumentation