Inconsistency Proofs for ASP: The ASP-DRUPE Format.

Mario Alviano Carmine Dodaro Johannes Klaus Fichte Markus Hecher Tobias Philipp Jakob Rath

Published in: CoRR (2019)

Keyphrases

answer set programming
web applications
logic programs
logic programming
databases
metadata
machine learning
multimedia
theorem proving
database
real time
neural network
genetic algorithm
multiscale
multi agent