research
∙
10/09/2021
Towards AI Logic for Social Reasoning
Artificial Intelligence (AI) logic formalizes the reasoning of intellige...
share
research
∙
06/22/2020
Artificial intelligence in space
In the next coming years, space activities are expected to undergo a rad...
research
∙
04/17/2020
Intention as Commitment toward Time
In this paper we address the interplay among intention, time, and belief...
research
∙
08/22/2019
SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report
In abstract argumentation theory, many argumentation semantics have been...
research
∙
03/25/2019
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
The area of formal ethics is experiencing a shift from a unique or stand...
research
∙
12/11/2018
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders
An autonomous system is constructed by a manufacturer, operates in a soc...
research
∙
09/23/2017
Prioritized Norms in Formal Argumentation
To resolve conflicts among norms,various nonmonotonic formalisms can be ...
research
∙
04/30/2017
Defense semantics of argumentation: encoding reasons for accepting arguments
In this paper we show how the defense relation among abstract arguments ...
research
∙
01/18/2017
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
This article aims to achieve two goals: to show that probability is not ...
research
∙
02/20/2015
A partial taxonomy of judgment aggregation rules, and their properties
The literature on judgment aggregation is moving from studying impossibi...
research
∙
07/15/2014
Abduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes...
research
∙
01/23/2013