A Direct ASP Encoding for Declare.

Francesco Chiariello Valeria Fionda Antonio Ielo Francesco Ricca

Published in: PADL (2024)

Keyphrases

answer set programming
neural network
web applications
encoding scheme
wide range
information technology
database
mobile robot
fractal image compression