Translating Answer-Set Programs into Bit-Vector Logic.

Mai Nguyen Tomi Janhunen Ilkka Niemelä

Published in: INAP/WLP (2011)

Keyphrases

bit vector
answer set programs
answer set programming
logic programming
logic programs
answer sets
stable models
computational properties
classical logic
modal logic
multi valued
event calculus
artificial intelligence
logical framework
abductive reasoning
orders of magnitude
update operators