Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Francesco Pacenza"'
Autor:
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
Publikováno v:
Big Data and Cognitive Computing, Vol 7, Iss 3, p 135 (2023)
Stream Reasoning (SR) focuses on developing advanced approaches for applying inference to dynamic data streams; it has become increasingly relevant in various application scenarios such as IoT, Smart Cities, Emergency Management, and Healthcare, desp
Externí odkaz:
https://doaj.org/article/1c520442931047afa12d41cd92b90866
Autor:
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
Publikováno v:
Algorithms, Vol 16, Iss 3, p 159 (2023)
In the last few years, we have witnessed the spread of computing devices getting smaller and smaller (e.g., Smartphones, Smart Devices, Raspberry, etc.), and the production and availability of data getting bigger and bigger. This work presents DLV-EE
Externí odkaz:
https://doaj.org/article/ffd1d3f249d44580877d3240d5e5b3cf
Autor:
Francesco Pacenza
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 306, Iss Proc. ICLP 2019, Pp 420-426 (2019)
The aim of my Ph.D. thesis concerns Reasoning in Highly Reactive Environments. As reasoning in highly reactive environments, we identify the setting in which a knowledge-based agent, with given goals, is deployed in an environment subject to repeated
Externí odkaz:
https://doaj.org/article/57167f4cee5341d6b33ab20ea157c2dc
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783031248405
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54cac098b017bf8538d6151b198074ff
https://doi.org/10.1007/978-3-031-24841-2_7
https://doi.org/10.1007/978-3-031-24841-2_7
Publikováno v:
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d499db5e9e5f021a34c1c170adfdb09
https://doi.org/10.1145/3551357.3551371
https://doi.org/10.1145/3551357.3551371
Publikováno v:
2022 IEEE Conference on Games (CoG).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::51cf6ec96c3675259e2c071a28652847
https://doi.org/10.1109/cog51982.2022.9893603
https://doi.org/10.1109/cog51982.2022.9893603
Publikováno v:
Theory and Practice of Logic Programming. 19:957-973
Repeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding approach for the answer set semantics. We focus on the possibility of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41b56f0347b479537b5c79e2daea129c
https://doi.org/10.1017/s1471068419000292
https://doi.org/10.1017/s1471068419000292
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative generation of ground programs thus ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00797a49f976e64aa5b989293b39be9a
http://arxiv.org/abs/2008.04108
http://arxiv.org/abs/2008.04108
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030351656
AI*IA
AI*IA
In the wider perspective of narrowing down some of the gaps that prevent the adoption of declarative logic programming within highly dynamically changing environments, we focus in this paper on the context of integrating reasoning modules in real-tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6996d88165d8617bd9058692c49d01f
https://doi.org/10.1007/978-3-030-35166-3_1
https://doi.org/10.1007/978-3-030-35166-3_1
Autor:
Jessica Zangari, Stefano Germano, Francesco Pacenza, Simona Perri, Francesco Calimeri, Giovambattista Ianni
Publikováno v:
Rules and Reasoning ISBN: 9783319999050
RuleML+RR
RuleML+RR
Rule-based declarative formalisms enjoy several advantages when compared with imperative solutions, especially when dealing with AI-based application development: solid theoretical bases, no need for algorithm design or coding, explicit and easily mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59bb77c9cd38c7f521c5d8a3fbecb3bd
https://doi.org/10.1007/978-3-319-99906-7_23
https://doi.org/10.1007/978-3-319-99906-7_23