Decidability for Theories of Modules over Valuation Domains.

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

Keyphrases

query answering
description logics
application domains
real world
building blocks
theoretical framework
continuous domains
decision procedures
modular structure
machine learning
search engine
data exchange
knowledge structures
computational properties
defeasible logic
query containment