Name
Abstract | ||
|---|---|---|
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a preliminary grounding phase. The implementation of the framework can be completely realized within the framework of Constraint Logic Programming over finite domains. The use of a high level language for the implementation and the clean structure of the computation offer an ideal framework for the implementation of extensions of Answer Set Programming. In this work, we demonstrate how non-ground arithmetic constraints can be easily introduced in the computation model. The paper provides preliminary experimental results which confirm the potential for this approach. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-02846-5_14 | ICLP |
Keywords | Field | DocType |
computer model,answer set programming,high level language,bottom up | Functional logic programming,Constraint satisfaction,Programming language,Programming paradigm,Computer science,Inductive programming,Constraint programming,Algorithm,Theoretical computer science,Reactive programming,Logic programming,Answer set programming | Conference |
Volume | ISSN | Citations |
5649 | 0302-9743 | 23 |
PageRank | References | Authors |
0.84 | 20 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alessandro Dal Palù | 1 | 211 | 14.97 |
| Agostino Dovier | 2 | 972 | 81.11 |
| Enrico Pontelli | 3 | 1901 | 181.26 |
| Gianfranco Rossi | 4 | 453 | 43.90 |