A Tableau Calculus for Hájek's Logic BL.

Franco Montagna G. Michele Pinna Elisa B. P. Tiezzi

Published in: J. Log. Comput. (2003)

Keyphrases

tableau calculus
description logics
knowledge base
minimal models
artificial intelligence
machine learning
association rules
knowledge representation
programming language
rule base
blended learning
automated reasoning
multi valued
defeasible logic
nonmonotonic logics