A Tableau Calculus for Minimal Modal Model Generation.

Fabio Papacchini Renate A. Schmidt

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

tableau calculus
minimal models
description logics
propositional logic
nonmonotonic reasoning
knowledge base
autoepistemic logic
logic programs
nonmonotonic logics
modal logic
data mining
natural language
relational databases
general purpose