A divide and conquer approach to until and until stable model checking.

Canh Minh Do Yati Phyo Kazuhiro Ogata

Published in: SEKE (2022)

Keyphrases

stable model checking
disjunctive logic programming
logic programs
logic programming
answer set programming
knowledge representation and reasoning
answer sets
stable model semantics
general purpose
normal logic programs
database
expert systems
reasoning systems
polynomial hierarchy