Title: Efficient dynamic optimization of logic programs
Subjects: Artificial intelligence