research
∙
07/28/2023
Optimal Alignment of Temporal Knowledge Bases
Answering temporal CQs over temporalized Description Logic knowledge bas...
share
research
∙
02/28/2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
One major limitation to the applicability of Reinforcement Learning (RL)...
research
∙
11/30/2022
Monitoring Arithmetic Temporal Properties on Finite Traces
We study monitoring of linear-time arithmetic properties against finite ...
research
∙
05/18/2022
Mimicking Behaviors in Separated Domains
Devising a strategy to make a system mimicking behaviors from another sy...
research
∙
05/04/2022
ASP-Based Declarative Process Mining
We put forward Answer Set Programming (ASP) as a solution approach for t...
research
∙
11/25/2021
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
Business process monitoring approaches have thus far mainly focused on m...
research
∙
10/18/2018
Modelling and Enactment of Data-aware Processes
During the last two decades, increasing attention has been given to the ...
research
∙
07/17/2018
Reinforcement Learning for LTLf/LDLf Goals
MDPs extended with LTLf/LDLf non-Markovian rewards have recently attract...
research
∙
07/12/2018
Situation Calculus for Synthesis of Manufacturing Controllers
Manufacturing is transitioning from a mass production model to a manufac...
research
∙
06/25/2017
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version)
In Markov Decision Processes (MDPs), the reward obtained in a state depe...
research
∙
09/07/2015
Bounded Situation Calculus Action Theories
In this paper, we investigate bounded action theories in the situation c...
research
∙
01/12/2013