RV4JaCa -- Runtime Verification for Multi-Agent Systems

1 code implementation • 20 Jul 2022 • Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework.

Decision Making

Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

no code implementations • 22 Sep 2020 • Viviana Mascardi, Domenico Pellegrini

On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our demonstration of a Prolog logical judge reasoning on an armed robbery case.

Towards a Framework for Certification of Reliable Autonomous Systems

no code implementations • 24 Jan 2020 • Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control.

OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain

no code implementations • 5 Nov 2019 • Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi

We present OntoScene, a framework aimed at understanding the semantics of visual scenes starting from the semantics of their elements and the spatial relations holding between them.