Modeling and planning through answer set programming |
( Volume 6 Issue 11,November 2019 ) OPEN ACCESS |
Author(s): |
Fernando Zacarias Flores, Rosalba Cuapa Canto, Marquez Rodriguez Beatriz, Angeles López MarÃa José |
Abstract: |
The line of research on the frame problem start in 1980, when formal non-monotonic reasoning arises. Recently, planning applications are being modeled with answer set programming. This allows us to represent a given computational problem through a logical program. Finally, we can use Smodels or DLV, to find an answer set for this program. Thus, a stack-type parking planning system is modeled using this methodology. |
DOI :
|
Paper Statistics: |
Cite this Article: |
Click here to get all Styles of Citation using DOI of the article. |