Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview |
Constraint Answer Set Programming without grounding and its applications
Citation
Arias Herrero, Joaquín, Carro Liñares, Manuel 
ORCID: https://orcid.org/0000-0001-5199-3135, Chen, Zhuo and Gupta, Gopal
(2019).
Constraint Answer Set Programming without grounding and its applications.
In: "3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019)", 4-5 Jun 2019, Philadelphia (USA). pp. 22-26.
Description
| Title: | Constraint Answer Set Programming without grounding and its applications |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | 3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019) |
| Event Dates: | 4-5 Jun 2019 |
| Event Location: | Philadelphia (USA) |
| Title of Book: | Datalog 2.0 2019: 3rd International Workshop on the Resurgence of Datalog in Academia and Industry |
| Date: | 2019 |
| Volume: | 2368 |
| Subjects: | |
| Faculty: | E.T.S. de Ingenieros Informáticos (UPM) |
| Department: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
Extending Datalog/ASP with constraints (CASP) enhances its expressiveness and performance but it is not straightforward as the grounding phase removes variables and the links among them. We incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements predicate answer set programming without grounding. The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets. We show the enhanced expressiveness of s(CASP) w.r.t. other CASP systems, through a non-trivial example of modeling the event calculus.
Funding Projects
Type
Code
Acronym
Leader
Title
Madrid Regional Government
S2018/TCS-4339
BLOQUES-CM
Unspecified
Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
Government of Spain
TIN2015-67522-C3-1-R
TRACES
Fundación IMDEA Software
Tecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente (IMDEA)
More information
| Item ID: | 63686 |
|---|---|
| DC Identifier: | https://oa.upm.es/63686/ |
| OAI Identifier: | oai:oa.upm.es:63686 |
| Official URL: | http://ceur-ws.org/Vol-2368/paper2.pdf |
| Deposited by: | Memoria Investigacion |
| Deposited on: | 13 Oct 2020 10:36 |
| Last Modified: | 30 Nov 2022 09:00 |
