Login / Signup
Translating Answer-Set Programs into Bit-Vector Logic
Mai Nguyen
Tomi Janhunen
Ilkka Niemelä
Published in:
CoRR (2011)
Keyphrases
</>
bit vector
answer set programs
answer set programming
logic programming
logic programs
answer sets
modal logic
stable models
classical logic
multi valued
automated reasoning
logical framework
update operators
artificial intelligence
event calculus
abductive reasoning