research
∙
07/24/2023
Past-present temporal programs over finite traces
Extensions of Answer Set Programming with language constructs from tempo...
share
research
∙
06/27/2023
Gödel-Dummett linear temporal logic
We investigate a version of linear temporal logic whose propositional fr...
research
∙
04/28/2023
Metric Temporal Equilibrium Logic over Timed Traces
In temporal extensions of Answer Set Programming (ASP) based on linear-t...
research
∙
05/10/2022
A Gödel Calculus for Linear Temporal Logic
We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
∙
05/01/2022
Time and Gödel: Fuzzy temporal reasoning in PSPACE
We investigate a non-classical version of linear temporal logic whose pr...
research
∙
09/04/2021
Automata for dynamic answer set solving: Preliminary report
We explore different ways of implementing temporal constraints expressed...
research
∙
04/30/2021
Some constructive variants of S4 with the finite model property
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4...
research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
research
∙
08/21/2020
A framework for modelling Molecular Interaction Maps
Metabolic networks, formed by a series of metabolic pathways, are made o...
research
∙
08/05/2020
Towards Metric Temporal Answer Set Programming
We elaborate upon the theoretical foundations of a metric temporal exten...
research
∙
02/17/2020
Implementing Dynamic Answer Set Programming
We introduce an implementation of an extension of Answer Set Programming...
research
∙
12/30/2019
Exploring the Jungle of Intuitionistic Temporal Logics
The importance of intuitionistic temporal logics in Computer Science and...
research
∙
12/30/2019
Intuitionistic Linear Temporal Logics
We consider intuitionistic variants of linear temporal logic with `next'...
research
∙
10/02/2019
Complete Intuitionistic Temporal Logics in Topological Dynamics
The language of linear temporal logic can be interpreted over the class ...
research
∙
03/13/2018
Axiomatic systems and topological semantics for intuitionistic temporal logic
We propose four axiomatic systems for intuitionistic linear temporal log...
research
∙
09/19/2016