3 citations · 3 across the 3 of their papers we have counts for
3 papers
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, Sergio Greco +9
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all…
CASP Solutions for Planning in Hybrid Domains
Marcello Balduccini, Daniele Magazzeni, Marco Maratea +1
CASP is an extension of ASP that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling m…
Disjunctive Answer Set Solvers via Templates
Remi Brochenin, Yuliya Lierler, Marco Maratea
Answer set programming is a declarative programming paradigm oriented towards difficult combinatorial search problems. A fundamental task in answer set programming is to compute st…