Login / Signup
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
Domenico Cantone
Marianna Nicolosi Asmundo
Published in:
FTP (LNCS Selection) (1998)
Keyphrases
</>
modal logic
domain specific
machine learning
semantic knowledge
semantic annotation
association rules
natural language
high quality
databases
description logics
bayesian networks
semantic web
computationally efficient
functional dependencies
case study
exchange rate
semantically meaningful