Login / Signup
ApproxASP - a Scalable Approximate Answer Set Counter.
Mohimenul Kabir
Flavio O. Everardo
Ankit K. Shukla
Markus Hecher
Johannes Klaus Fichte
Kuldeep S. Meel
Published in:
AAAI (2022)
Keyphrases
</>
search space
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
artificial intelligence
databases
general purpose
expert systems
test collection
database systems
machine learning
counter examples
semantics for logic programs