Mostrar o rexistro simple do ítem
On the semantics of hybrid ASP systems based on Clingo
dc.contributor.author | Cabalar, Pedro | |
dc.contributor.author | Fandinno, Jorge | |
dc.contributor.author | Schaub, Torsten | |
dc.contributor.author | Wanko, Philipp | |
dc.date.accessioned | 2023-05-19T07:02:09Z | |
dc.date.available | 2023-05-19T07:02:09Z | |
dc.date.issued | 2023-03 | |
dc.identifier.citation | P. Cabalar, J. Fandinno, T. Schaub, and P. Wanko, “On the Semantics of Hybrid ASP Systems Based on Clingo,” Algorithms, vol. 16, no. 4, p. 185, Mar. 2023, doi: 10.3390/a16040185. | es_ES |
dc.identifier.uri | http://hdl.handle.net/2183/33094 | |
dc.description.abstract | [Abstract]: Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make the semantic characterization of clingo’s theory-reasoning framework precise. This provides us with a formal framework in which we can elaborate upon the formal properties of existing hybridizations of clingo, such as clingcon, clingo[dl], and clingo[lp]. | es_ES |
dc.description.sponsorship | This work was supported by DFG grant SCHA 550/11, Germany, by grant PID2020-116201GB-I00 funded by MCIN/AEI/ 10.13039/501100011033, Spain, by Xunta de Galicia and the European Union, GPC ED431B 2022/33, by European COST action CA17124 DigForASP, EU, and by the National Science Foundation (NSF 95-3101-0060-402), USA. | es_ES |
dc.description.sponsorship | Xunta de Galicia; ED431B 2022/33 | es_ES |
dc.description.sponsorship | Deutsche Forschungsgemeinschaft; SCHA 550/11 | es_ES |
dc.description.sponsorship | United States. National Science Foundation; NSF 95-3101-0060-402 | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | MDPI | es_ES |
dc.relation | 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.3390/a16040185 | es_ES |
dc.rights | Atribución 3.0 España | es_ES |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ | * |
dc.subject | answer set programming | es_ES |
dc.subject | answer set programming modulo theories | es_ES |
dc.subject | hybrid reasoning | es_ES |
dc.subject | semantic foundations | es_ES |
dc.title | On the semantics of hybrid ASP systems based on Clingo | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
UDC.journalTitle | Algorithms | es_ES |
UDC.volume | 16 | es_ES |
UDC.issue | 4 | es_ES |
UDC.startPage | 185 | es_ES |
dc.identifier.doi | 10.3390/a16040185 |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
GI-IRlab-Artigos [27]