Computing General First-Order Parallel and Prioritized Circumscription.

Hai Wan Zhanhao Xiao Zhenfeng Yuan Heng Zhang Yan Zhang

Published in: AAAI (2014)

Keyphrases

special case
higher order
general logic programs
data sets
information systems
closely related
parallel processing
parallel implementation
nonmonotonic logics
autoepistemic logic