Login / Signup

A Divide & Conquer Approach to Conditional Stable Model Checking.

Yati PhyoCanh Minh DoKazuhiro 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