Constraint Answer Set Programming without grounding and its applications

Arias Herrero, Joaquín and Carro Liñares, Manuel and 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:
  • Arias Herrero, Joaquín
  • Carro Liñares, Manuel
  • Chen, Zhuo
  • Gupta, Gopal
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview

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

TypeCodeAcronymLeaderTitle
Madrid Regional GovernmentS2018/TCS-4339BLOQUES-CMUnspecifiedContratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
Government of SpainTIN2015-67522-C3-1-RTRACESFundación IMDEA SoftwareTecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente (IMDEA)

More information

Item ID: 63686
DC Identifier: http://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: 13 Oct 2020 10:36
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM