Zobrazeno 1 - 10
of 180
pro vyhledávání: '"Costantini, Stefania"'
Autor:
Costantini, Stefania
Publikováno v:
Journal of Logic and Computation, Volume 32, Issue 2, March 2022, Pages 443-478
Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e., techniques appli
Externí odkaz:
http://arxiv.org/abs/2402.07547
Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of belief sets, i.e., syntactically, sets of sets of atoms. Different se
Externí odkaz:
http://arxiv.org/abs/2309.16344
Autor:
Pontelli, Enrico, Costantini, Stefania, Dodaro, Carmine, Gaggl, Sarah, Calegari, Roberta, Garcez, Artur D'Avila, Fabiano, Francesco, Mileo, Alessandra, Russo, Alessandra, Toni, Francesca
Publikováno v:
EPTCS 385, 2023
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023. Technical Communications included here concern the Ma
Externí odkaz:
http://arxiv.org/abs/2308.14898
Autor:
Costantini, Stefania
Publikováno v:
Proceedings of the Eighth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2012, CEUR Workshop Proceedings 911, pp. 3-30, Invited paper
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified by using an agent-oriented interval temporal logic defined to this purpose.
Externí odkaz:
http://arxiv.org/abs/2111.05157
Publikováno v:
EPTCS 345, 2021, pp. 182-188
Dialogue Systems are tools designed for various practical purposes concerning human-machine interaction. These systems should be built on ethical foundations because their behavior may heavily influence a user (think especially about children). The p
Externí odkaz:
http://arxiv.org/abs/2109.08294
Publikováno v:
Annals of Mathematics and Artificial Intelligence 86, 87-120 (2019)
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules". In this paper, we consider how to enhance flexibility and generality i
Externí odkaz:
http://arxiv.org/abs/2106.06780
Publikováno v:
EPTCS 325, 2020, pp. 6-17
Transparency is a key requirement for ethical machines. Verified ethical behavior is not enough to establish justified trust in autonomous intelligent agents: it needs to be supported by the ability to explain decisions. Logic Programming (LP) has a
Externí odkaz:
http://arxiv.org/abs/2009.11186
Publikováno v:
EPTCS 325, 2020, pp. 230-243
We propose an approach to the definition of microservices with an Answer Set Programming (ASP) `core', where microservices are a successful abstraction for designing distributed applications as suites of independently deployable interacting component
Externí odkaz:
http://arxiv.org/abs/2009.10250
Publikováno v:
IEEE Trans. on Network Science and Engineering (2022) 1-18
Centrality metrics have been widely applied to identify the nodes in a graph whose removal is effective in decomposing the graph into smaller sub-components. The node--removal process is generally used to test network robustness against failures. Mos
Externí odkaz:
http://arxiv.org/abs/2006.13551