Login / Signup
Uniform Evaluation of Nonmonotonic DL-Programs.
Thomas Eiter
Thomas Krennwallner
Patrik Schneider
Guohui Xiao
Published in:
FoIKS (2012)
Keyphrases
</>
description logic programs
dl programs
database systems
special case
logic programming
integrity constraints
modal logic