A Nonmonotonic Extension of KLM Preferential Logic P.

Laura Giordano Valentina Gliozzi Nicola Olivetti Gian Luca Pozzato

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

tableau calculus
description logics
knowledge base
logic programming
nonmonotonic logics
propositional logic
modal logic
minimal models
nonmonotonic reasoning
autoepistemic logic
defeasible logic
default theories
logic programs
object oriented
logical framework
rule base
temporal logic
deontic logic