Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses

Costantini, Stefania; Gasperis, Giovanni De; Olivieri, Raffaele

doi:10.1007/978-3-319-23264-5_21

Cited by 3 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In recent work 3 [22,39] we have identified a setting where an intelligent agent is in charge of supporting the human investigator in such activities. The agent should help identify, retrieve, and gather the various kinds of potentially useful evidence, process them via suitable reasoning modules, and integrate the results into coherent evidence.…”

Section: Motivating Scenarios and Discussionmentioning

confidence: 99%

Multi-context systems in dynamic environments

Cabalar

Costantini

Gasperis

et al. 2019

Ann Math Artif Intell

Self Cite

View full text Add to dashboard Cite

Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules". In this paper, we consider how to enhance flexibility and generality in bridge-rules definition and application. In particular, we introduce and discuss some formal extensions of MCSs useful for a practical use in dynamic environments, and we try to provide guidelines for implementations.Multi-Context Systems (MCSs) have been proposed in Artificial Intelligence and Knowledge Representation to model information exchange among heterogeneous sources [8,9,11]. MCSs do not make any assumption about such sources nor require them to be homogeneous; rather, the MCS approach deals explicitly with their This work is partially supported by INdAM-GNCS-17 project, by Xunta de Galicia, Spain (projects GPC ED431B 2016/035 and 2016-2019 ED431G/01 for CITIC center) and by the European Regional Development Fund (ERDF).

show abstract

Section: Motivating Scenarios and Discussionmentioning

confidence: 99%