Compiling Metric Temporal Answer Set Programming
| UDC.coleccion | Investigación | es_ES |
| UDC.conferenceTitle | LPNMR 2024 - Logic Programming and Nonmonotonic Reasoning | es_ES |
| UDC.departamento | Ciencias da Computación e Tecnoloxías da Información | es_ES |
| UDC.endPage | 29 | es_ES |
| UDC.grupoInv | Information Retrieval Lab (IRlab) | es_ES |
| UDC.startPage | 15 | es_ES |
| UDC.volume | Lecture Notes in Computer Science (LNAI, volume 15245) | es_ES |
| dc.contributor.author | Becker, Arvid | |
| dc.contributor.author | Cabalar, Pedro | |
| dc.contributor.author | Diéguez Lodeiro, Martín | |
| dc.contributor.author | Romero Davila, Javier | |
| dc.contributor.author | Hahn, Susana | |
| dc.contributor.author | Schaub, Torsten | |
| dc.date.accessioned | 2025-05-22T14:23:46Z | |
| dc.date.embargoEndDate | 2025-11-01 | es_ES |
| dc.date.embargoLift | 2025-11-01 | |
| dc.date.issued | 2025 | |
| dc.description | Presented in the following conference: LPNMR 2024: 17th International Conference on Logic Programming and Nonmonotonic Reasoning, Dallas, TX, USA, October 11–14, 2024 | es_ES |
| dc.description | This version of the conference paper has been accepted for publication, after peer review; it is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://doi.org/10.1007/978-3-031-74209-5_2. | es_ES |
| dc.description.abstract | [Abstract]: We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, which can significantly exacerbate ASP’s grounding bottleneck. To address this issue, we leverage extensions of ASP with difference constraints, a simplified form of linear constraints, to handle time-related aspects externally. Our approach effectively decouples metric ASP from the granularity of time, resulting in a solution that is unaffected by time precision. | es_ES |
| dc.description.sponsorship | This work was partially funded by DFG grant SCHA 550/15, Etoiles Montantes CTASP at Region Pays de la Loire, Xunta de Galicia grant GPC ED431B 2022/33, and MCIN AEI/10.13039/501100011033 grant PID2020-116201GB-I00. | es_ES |
| dc.description.sponsorship | Xunta de Galicia; ED431B 2022/33 | es_ES |
| dc.description.sponsorship | Germany. Deutsche Forschungsgemeinschaft (DFG); SCHA 550/15 | es_ES |
| dc.identifier.citation | Becker, A., Cabalar, P., Diéguez, M., Hahn, S., Romero, J., Schaub, T. (2025). Compiling Metric Temporal Answer Set Programming. In: Dodaro, C., Gupta, G., Martinez, M.V. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2024. Lecture Notes in Computer Science(), vol 15245. Springer, Cham. https://doi.org/10.1007/978-3-031-74209-5_2 | es_ES |
| dc.identifier.doi | 10.1007/978-3-031-74209-5_2 | |
| dc.identifier.isbn | 9783031742088 | |
| dc.identifier.issn | 1611-3349 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/2183/42064 | |
| dc.language.iso | eng | es_ES |
| dc.publisher | Springer | es_ES |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI) | es_ES |
| dc.relation.projectID | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-116201GB-I00/ES/RAZONAMIENTO AUTOMATICO Y APRENDIZAJE CON INDUCCION DE CONOCIMIENTO/ | es_ES |
| dc.relation.uri | https://doi.org/10.1007/978-3-031-74209-5_2 | es_ES |
| dc.rights | © 2025 Springer Nature Switzerland AG. This version is subject to Springer Nature’s AM terms of use - https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms | es_ES |
| dc.rights.accessRights | open access | es_ES |
| dc.subject | Answer set programming | es_ES |
| dc.subject | Computational approach | es_ES |
| dc.subject | Difference constraints | es_ES |
| dc.subject | Fine grained | es_ES |
| dc.subject | Linear constraints | es_ES |
| dc.subject | Timing constraints | es_ES |
| dc.title | Compiling Metric Temporal Answer Set Programming | es_ES |
| dc.type | conference output | es_ES |
| dc.type.hasVersion | AM | es_ES |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 2ca73277-6667-4009-adaf-0f7462a65880 | |
| relation.isAuthorOfPublication.latestForDiscovery | 2ca73277-6667-4009-adaf-0f7462a65880 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Cabalar_Pedro_2025_Compiling_Metric_Temporal_Answer_Set_Programming.pdf
- Size:
- 320.53 KB
- Format:
- Adobe Portable Document Format
- Description: