Login / Signup
Inconsistency Proofs for ASP: The ASP - DRUPE Format.
Mario Alviano
Carmine Dodaro
Johannes Klaus Fichte
Markus Hecher
Tobias Philipp
Jakob Rath
Published in:
Theory Pract. Log. Program. (2019)
Keyphrases
</>
answer set programming
web applications
multimedia
logic programming
theorem proving
data sets
neural network
information retrieval
metadata
three dimensional
answer set programs
databases
social networks
website
web services
evolutionary algorithm