Login / Signup
A Divide & Conquer Approach to Conditional Stable Model Checking.
Yati Phyo
Canh Minh Do
Kazuhiro Ogata
Published in:
ICTAC (2021)
Keyphrases
</>
stable model checking
disjunctive logic programming
logic programs
logic programming
conditional probabilities
polynomial hierarchy
knowledge base
database systems
answer set programming