Minimal models for rational closure in SHIQ.

Laura Giordano Valentina Gliozzi Nicola Olivetti Gian Luca Pozzato

Published in: ICTCS (2014)

Keyphrases

minimal models
propositional logic
description logics
logic programs
nonmonotonic reasoning
autoepistemic logic
model theoretic
default logic
knowledge base
logic programming
stable models
learning algorithm
answer sets
truth maintenance systems