Login / Signup
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Francesco Calimeri
Carmine Dodaro
Davide Fuscà
Simona Perri
Jessica Zangari
Published in:
Theory Pract. Log. Program. (2020)
Keyphrases
</>
answer set programming
answer sets
declarative programming
modulo theories
real time
logic programs
neural network
logic programming
database
hidden markov models
constraint programming
high level
stable model semantics
disjunctive logic programming
satisfiability modulo theories
answer set programs
data sets