| Publication | Date of Publication | Type |
|---|
Linear-time temporal answer set programming
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Gödel-Dummett linear temporal logic
Artificial Intelligence | 2025-01-17 | Paper |
Metric temporal equilibrium logic over timed traces
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
| Past-present temporal programs over finite traces | 2024-05-29 | Paper |
Exploring the Jungle of Intuitionistic Temporal Logics
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
Time and Gödel: fuzzy temporal reasoning in PSPACE
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Metric temporal answer set programming over timed traces | 2023-04-04 | Paper |
A framework for modelling molecular interaction maps
(available as arXiv preprint) | 2022-10-12 | Paper |
Bisimulations for intuitionistic temporal logics
(available as arXiv preprint) | 2022-10-12 | Paper |
| Setting the basis for here and there modal logics | 2022-09-28 | Paper |
Complete intuitionistic temporal logics for topological dynamics
Journal of Symbolic Logic | 2022-08-29 | Paper |
Towards metric temporal answer set programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
A decidable intuitionistic temporal logic
(available as arXiv preprint) | 2020-05-26 | Paper |
| Axiomatic systems and topological semantics for intuitionistic temporal logic | 2020-02-18 | Paper |
Axiomatic systems and topological semantics for intuitionistic temporal logic
(available as arXiv preprint) | 2020-02-18 | Paper |
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic | 2020-02-14 | Paper |
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic | 2020-02-14 | Paper |
Abductive reasoning on molecular interaction maps
Interactions Between Computational Intelligence and Mathematics | 2020-02-07 | Paper |
Temporal logic modeling of biological systems
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
| Towards dynamic answer set programming over finite traces | 2019-10-10 | Paper |
An intuitionistic axiomatization of `eventually'
(available as arXiv preprint) | 2019-07-24 | Paper |
| Here and there modal logic with dual implication | 2019-07-24 | Paper |
Temporal equilibrium logic with past operators
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Temporal equilibrium logic: a survey
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Axiomatic systems and topological semantics for intuitionistic temporal logic
(available as arXiv preprint) | 2018-03-13 | Paper |
Bisimulations for intuitionistic temporal logics
(available as arXiv preprint) | 2018-03-13 | Paper |
Temporal logic programs with variables
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
An infinitary encoding of temporal equilibrium logic
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Temporal here and there
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Metabolic pathways as temporal logic programs
Logics in Artificial Intelligence | 2016-11-30 | Paper |
| Paving the way for temporal grounding | 2014-02-25 | Paper |
| Temporal answer set programming | 2014-02-25 | Paper |
