A decidable subclass of finitary programs

Sabrina Baselice Piero A. Bonatti

Published in: CoRR (2010)

Keyphrases

function symbols
finite state
first order logic
logic programs
np complete
datalog programs
stable models
data mining
computer programs
intermediate level
real time
markov decision processes