ASSAT: Computing answer sets of a logic program by sat solvers (0)

by F LIN, Y ZHAO
Venue:In Proceedings of the National Conference on Artificial Intelligence (AAAI’02