Zobrazeno 1 - 10
of 10
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
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
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:
EPTCS 306, 2019, pp. 340-346
In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the human sciences. Logic is often used to model such kind of systems as it is
Externí odkaz:
http://arxiv.org/abs/1909.08256
Publikováno v:
EPTCS 306, 2019, pp. 333-339
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to engage in a complex conversations w
Externí odkaz:
http://arxiv.org/abs/1909.08255
Autor:
Costantini, Stefania
Publikováno v:
Theory and Practice of Logic Programming 19 (2019) 790-807
In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with "epistemic operators" and "epistemic negation", and a recent approach to the semantics of such programs in terms of World Views. We propose some observ
Externí odkaz:
http://arxiv.org/abs/1907.09867
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself. Several implementation
Externí odkaz:
http://arxiv.org/abs/1402.5436
Autor:
Costantini, Stefania
This paper introduces a fundamental result, which is relevant for Answer Set programming, and planning. For the first time since the definition of the stable model semantics, the class of logic programs for which a stable model exists is given a synt
Externí odkaz:
http://arxiv.org/abs/cs/0412105
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself. Several implementation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf53b2383c609f78f8f157c364e3bea
http://hdl.handle.net/11570/1597957
http://hdl.handle.net/11570/1597957