2016 ASP-DAC.

Hidetoshi Onodera

Published in: IEEE Des. Test (2016)

Keyphrases

answer set programming
web applications
max csp
decision making
logic programs
database systems
reinforcement learning
expert systems
case based reasoning
logic programming