7 citations · 27 across the 12 of their papers we have counts for
12 papers
Declarative Problem Solving in UAM Strategic Deconfliction
Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi +1
The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions. As the number…
Fuzzy Quantification over OWL Ontologies and Knowledge Graphs
Enrique Palacín, Fernando Bobillo, Ignacio Huitzil +2
This paper presents a versatile framework for evaluating fuzzy quantification queries over both standard and fuzzy ontologies as well as knowledge graphs. The primary objective is…
fEDM+: A Risk-Based Fuzzy Ethical Decision Making Framework with Principle-Level Explainability and Pluralistic Validation
Abeer Dyoub, Francesca A. Lisi
In a previous work, we introduced the fuzzy Ethical Decision-Making framework (fEDM), a risk-based ethical reasoning architecture grounded in fuzzy logic. The original model combin…
ff4ERA: A new Fuzzy Framework for Ethical Risk Assessment in AI
Abeer Dyoub, Ivan Letteri, Francesca A. Lisi
The emergence of Symbiotic AI (SAI) introduces new challenges to ethical decision-making as it deepens human-AI collaboration. As symbiosis grows, AI systems pose greater ethical r…
A Fuzzy Approach to the Specification, Verification and Validation of Risk-Based Ethical Decision Making Models
Abeer Dyoub, Francesca A. Lisi
The ontological and epistemic complexities inherent in the moral domain make it challenging to establish clear standards for evaluating the performance of a moral machine. In this…
Weighted Assumption Based Argumentation to reason about ethical principles and actions
Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub +1
We augment Assumption Based Argumentation (ABA for short) with weighted argumentation. In a nutshell, we assign weights to arguments and then derive the weight of attacks between A…
On groups with large verbal quotients
Francesca Lisi, Luca Sabatini
Let be a word, i.e. an element of the free group . The verbal subgroup of a group is the subgroup generated by the se…
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues
Abeer Dyoub, Stefania Costantini, Ivan Letteri +1
Dialogue Systems are tools designed for various practical purposes concerning human-machine interaction. These systems should be built on ethical foundations because their behavior…
Logic Programming and Machine Ethics
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
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 suppor…
Towards Ethical Machines Via Logic Programming
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
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 e…
Learning Onto-Relational Rules with Inductive Logic Programming
Francesca A. Lisi
Rules complement and extend ontologies on the Semantic Web. We refer to these rules as onto-relational since they combine DL-based ontology languages and Knowledge Representation f…
Inductive Logic Programming in Databases: from Datalog to DL+log
Francesca A. Lisi
In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semant…