One More Decidable Class of Finitely Ground Programs.

Yuliya Lierler Vladimir Lifschitz

Published in: ICLP (2009)

Keyphrases

finite number
function symbols
database
data mining
first order logic
real time
logic programming
np complete
answer sets
fixpoint
datalog programs