A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.

Domenico Cantone Marianna Nicolosi Asmundo

Published in: J. Autom. Reason. (2007)

Keyphrases

main contribution
knowledge base
domain specific
search engine
high level
natural language
data model
probabilistic model
lightweight
domain ontology
conceptual framework