[BOOK][B] Belief change: introduction and overview
E Fermé, SO Hansson - 2018 - Springer
Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …
logic to produce models of how human and artificial agents change their beliefs in response …
Detecting malicious behavior in social platforms via hybrid knowledge-and data-driven systems
Among the wide variety of malicious behavior commonly observed in modern social
platforms, one of the most notorious is the diffusion of fake news, given its potential to …
platforms, one of the most notorious is the diffusion of fake news, given its potential to …
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
F Olivieri, M Cristani, G Governatori… - Journal of Logic and …, 2024 - academic.oup.com
In the setting of Defeasible Logic, we deal with the problem of revising and contracting a non-
monotonic theory while minimizing the number of rules to be removed from the theory itself …
monotonic theory while minimizing the number of rules to be removed from the theory itself …
Descriptor revision
SO Hansson - Studia Logica, 2014 - Springer
A descriptor is a set of sentences that are truth-functional combinations of expressions of the
form B p B p, where BB is a metalinguistic belief predicate and pa sentence in the object …
form B p B p, where BB is a metalinguistic belief predicate and pa sentence in the object …
Merging operators on stratified belief bases equipped with argumentative inference
This work considers the formalisation of the merging process of stratified belief bases, where
beliefs are stored in different layers or strata. Their strata are ranked, following a total order …
beliefs are stored in different layers or strata. Their strata are ranked, following a total order …
[HTML][HTML] A belief revision framework for revising epistemic states with partial epistemic states
Belief revision performs belief change on an agent's beliefs when new evidence (either of
the form of a propositional formula or of the form of a total pre-order on a set of …
the form of a propositional formula or of the form of a total pre-order on a set of …
NetDER: An Architecture for Reasoning About Malicious Behavior
Malicious behavior in social media has many faces, which for instance appear in the form of
bots, sock puppets, creation and dissemination of fake news, Sybil attacks, and actors hiding …
bots, sock puppets, creation and dissemination of fake news, Sybil attacks, and actors hiding …
Revision of prioritized ontologies
In this paper, we investigated the evolution of prioritized EL ontologies in the presence of
new information that can be certain or uncertain. We propose an extension of EL description …
new information that can be certain or uncertain. We propose an extension of EL description …
Belief revision and computational argumentation: A critical comparison
This paper aims at comparing and relating belief revision and argumentation as approaches
to model reasoning processes. Referring to some prominent literature references in both …
to model reasoning processes. Referring to some prominent literature references in both …
Merging existential rules programs in multi-agent contexts through credibility accrual
Merging operators represent a significant tool to extract a consistent and informative view
from a set of agents. The consideration of practical scenarios where some agents can be …
from a set of agents. The consideration of practical scenarios where some agents can be …