research
∙
08/28/2023
Proceedings 39th International Conference on Logic Programming
This volume contains the Technical Communications presented at the 39th ...
share
research
∙
11/09/2021
Self-checking Logical Agents
This paper presents a comprehensive framework for run-time self-checking...
research
∙
09/17/2021
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues
Dialogue Systems are tools designed for various practical purposes conce...
research
∙
06/12/2021
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Multi-Context Systems (MCS) model in Computational Logic distributed sys...
research
∙
09/22/2020
An application of Answer Set Programming in Distributed Architectures: ASP Microservices
We propose an approach to the definition of microservices with an Answer...
research
∙
09/22/2020
Logic Programming and Machine Ethics
Transparency is a key requirement for ethical machines. Verified ethical...
research
∙
06/24/2020
Network connectivity under a probabilistic node failure model
Centrality metrics have been widely applied to identify the nodes in a g...
research
∙
09/18/2019
A Temporal Module for Logical Frameworks
In artificial intelligence, multi agent systems constitute an interestin...
research
∙
09/18/2019
Towards Ethical Machines Via Logic Programming
Autonomous intelligent agents are playing increasingly important roles i...
research
∙
07/23/2019
About epistemic negation and world views in Epistemic Logic Programs
In this paper we consider Epistemic Logic Programs, which extend Answer ...
research
∙
08/04/2016
Query Answering in Resource-Based Answer Set Semantics
In recent work we defined resource-based answer set semantics, which is ...
research
∙
10/08/2014
Committment-Based Data-Aware Multi-Agent-Contexts Systems
Communication and interaction among agents have been the subject of exte...
research
∙
03/21/2014
Towards Active Logic Programming
In this paper we present the new logic programming language DALI, aimed ...
research
∙
02/21/2014