Integration of an Answer Set Engine to Smart-M3.

Vesa Luukkala Jukka Honkola

Published in: NEW2AN (2010)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set semantics
data integration
counter examples
database
information systems
reinforcement learning
general purpose
incomplete information
nonmonotonic reasoning
loop formulas
answer set programs