Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Anna Schuhmann"'
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62088b86eb13c559e89d0f29e4949dcc
https://doi.org/10.1007/978-3-031-15707-3_10
https://doi.org/10.1007/978-3-031-15707-3_10
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d077f9f615183859991bc07e3620fb4
http://arxiv.org/abs/2008.02038
http://arxiv.org/abs/2008.02038
Publikováno v:
EasyChair Preprints.
In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiveness of TEL over infinite trace
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77f92af54603b5962e8081d0a5ebc9b9
https://doi.org/10.29007/7qdl
https://doi.org/10.29007/7qdl
In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiveness of TEL over infinite trace
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae9a7889b95a2c1a5c91eb615ce34dba