research
∙
07/20/2022
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents
Automating a factory where robots are involved is neither trivial nor ch...
share
research
∙
07/20/2022
RV4JaCa – Runtime Verification for Multi-Agent Systems
This paper presents a Runtime Verification (RV) approach for Multi-Agent...
research
∙
09/22/2020
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean
On May 12th, 2020, during the course entitled Artificial Intelligence an...
research
∙
08/31/2020
Can determinism and compositionality coexist in RML?
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
08/14/2020
Can determinism and compositionality coexist in RML? (extended version)
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
07/23/2020
Engineering Reliable Interactions in the Reality-Artificiality Continuum
Milgram's reality-virtuality continuum applies to interaction in the phy...
research
∙
01/24/2020
Towards a Framework for Certification of Reliable Autonomous Systems
A computational system is called autonomous if it is able to make its ow...
research
∙
11/05/2019
OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain
We present OntoScene, a framework aimed at understanding the semantics o...
research
∙
02/04/2019
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Interactions between agents are usually designed from a global viewpoint...
research
∙
02/04/2019
