On Loop Formulas with Variables.

Joohyung Lee Yunsong Meng

Published in: CoRR (2023)

Keyphrases

loop formulas
logic programs
answer sets
stable models
artificial intelligence
search algorithm
databases
machine learning
bayesian networks
query optimization
expressive power