Search Results for author:
Found 15 papers, 2 papers with code
Ensuring trustworthy and ethical behaviour in intelligent logical agents
Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend.
Epistemic Logic Programs: a study of some properties
Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators.
Proceedings 39th International Conference on Logic Programming
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.
Self-checking Logical Agents
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked.
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues
Dialogue Systems are tools designed for various practical purposes concerning human-machine interaction.
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules".
An application of Answer Set Programming in Distributed Architectures: ASP Microservices
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 components.
A Temporal Module for Logical Frameworks
In this paper we define a time module suitable to add time to many logic representations of agents.
Towards Ethical Machines Via Logic Programming
Autonomous intelligent agents are playing increasingly important roles in our lives.
About epistemic negation and world views in Epistemic Logic Programs
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.
Query Answering in Resource-Based Answer Set Semantics
In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.
Committment-Based Data-Aware Multi-Agent-Contexts Systems
In this paper, we propose the new approach of DACmMCMASs (Data-Aware Commitment-based managed Multi- Context MAS), so as to obtain a commitment-based first-order agent system which is able to interact with heterogeneous external information sources.
Towards Active Logic Programming
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems.
Characterizing and computing stable models of logic programs: The non-stratified case
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.
