ValAsp: a tool for data validation in Answer Set Programming.

Mario Alviano Carmine Dodaro Arnel Zamayla

Published in: CoRR (2022)

Keyphrases

answer set programming
database
logic programs
background knowledge
databases
data sources
genetic algorithm
data structure
xml documents
knowledge representation
logic programming
answer sets