Loop-separable programs and their first-order definability.

Yin Chen Fangzhen Lin Yan Zhang Yi Zhou

Published in: Artif. Intell. (2011)

Keyphrases

loop formulas
logic programs
finite model theory
propositional logic
first order logic
answer sets
fixed point
higher order
stochastic dominance
database
logic programming
expert systems
stable models
database theory
quantifier elimination
genetic algorithm
neural network