Data Validation Meets Answer Set Programming.

Mario Alviano Carmine Dodaro Arnel Zamayla

Published in: PADL (2021)

Keyphrases

answer set programming
general purpose
database
knowledge base
high level
data sources
logic programs
constraint logic programming
artificial intelligence
data structure
state space