Personal information

No personal information available

Activities

Collapse all

Works (50)

Gödel-Dummett linear temporal logic

CoRR
2023 | Journal article
DOI: 10.48550/ARXIV.2306.15805
Contributors: Juan Pablo Aguilera Ozuna and Martín Diéguez and David Fernández-Duque and Brett McLean
Source: Self-asserted source
Martín Diéguez

Linear-Time Temporal Answer Set Programming

Theory Pract. Log. Program.
2023 | Journal article
DOI: 10.1017/S1471068421000557
Contributors: Felicidad Aguado and Pedro Cabalar and Martín Diéguez and Gilberto Pérez and Torsten Schaub and Anna Schuhmann and Concepción Vidal
Source: Self-asserted source
Martín Diéguez
grade
Preferred source (of 2)‎

Metric dynamic equilibrium logic

J. Appl. Non Class. Logics
2023 | Journal article
DOI: 10.1080/11663081.2023.2244365
Contributors: Arvid Becker and Pedro Cabalar and Martín Diéguez and Luis Fariñas del Cerro and Torsten Schaub and Anna Schuhmann
Source: Self-asserted source
Martín Diéguez

Metric Temporal Equilibrium Logic over Timed Traces

CoRR
2023 | Journal article
DOI: 10.48550/ARXIV.2304.14778
Contributors: Arvid Becker and Pedro Cabalar and Martín Diéguez and Torsten Schaub and Anna Schuhmann
Source: Self-asserted source
Martín Diéguez

Past-present temporal programs over finite traces

CoRR
2023 | Journal article
DOI: 10.48550/ARXIV.2307.12620
Contributors: Pedro Cabalar and Martín Diéguez and François Laferrière and Torsten Schaub
Source: Self-asserted source
Martín Diéguez

Past-Present Temporal Programs over Finite Traces

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
2023 | Conference paper
DOI: 10.1007/978-3-031-43619-2\_53
Contributors: Pedro Cabalar and Martín Diéguez and François Laferrière and Torsten Schaub; Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz
Source: Self-asserted source
Martín Diéguez

Past-present temporal programs over finite traces: a preliminary report

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023
2023 | Conference paper
URI:

https://ceur-ws.org/Vol-3437/paper7ASPOCP.pdf
Contributors: Pedro Cabalar and Martín Diéguez and François Laferrière and Torsten Schaub; Joaquín Arias and Sotiris Batsakis and Wolfgang Faber and Gopal Gupta and Francesco Pacenza and Emmanuel Papadakis and Livio Robaldo and Kilian Rückschloß and Elmer Salazar and Zeynep Gozen Saribatur and Ilias Tachmazidis and Felix Weitkämper and Adam Z. Wyner
Source: Self-asserted source
Martín Diéguez

Past-Present Temporal Programs over Finite Traces

2023 | Book chapter
DOI: 10.1007/978-3-031-43619-2_53
Contributors: Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub
Source: check_circle
Crossref

The Impact of Green Feedback on Users' Software Usage

IEEE Trans. Sustain. Comput.
2023 | Journal article
DOI: 10.1109/TSUSC.2022.3222631
Contributors: Adel Noureddine and Martín Diéguez Lodeiro and Noëlle Bru and Richard Chbeir
Source: Self-asserted source
Martín Diéguez

A Gödel Calculus for Linear Temporal Logic

CoRR
2022 | Journal article
DOI: 10.48550/ARXIV.2205.05182
Contributors: Juan Pablo Aguilera Ozuna and Martín Diéguez and David Fernández-Duque and Brett McLean
Source: Self-asserted source
Martín Diéguez

A Gödel Calculus for Linear Temporal Logic

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022
2022 | Conference paper
URI:

https://proceedings.kr.org/2022/1/
Contributors: Juan P. Aguilera and Martín Diéguez and David Fernández-Duque and Brett McLean; Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer
Source: Self-asserted source
Martín Diéguez

Advanced Languages of Terms for Ontologies

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022
2022 | Conference paper
URI:

https://ceur-ws.org/Vol-3263/paper-4.pdf
Contributors: Philippe Balbiani and Martín Diéguez and Çigdem Gencer; Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier
Source: Self-asserted source
Martín Diéguez

Complete intuitionistic Temporal Logics for Topological dynamics

J. Symb. Log.
2022 | Journal article
DOI: 10.1017/JSL.2022.8
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Metric Temporal Answer Set Programming over Timed Traces

Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
2022 | Conference paper
DOI: 10.1007/978-3-031-15707-3\_10
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub and Anna Schuhmann; Georg Gottlob and Daniela Inclezan and Marco Maratea
Source: Self-asserted source
Martín Diéguez

Time and Gödel: Fuzzy temporal reasoning in PSPACE

CoRR
2022 | Journal article
DOI: 10.48550/ARXIV.2205.00574
Contributors: Juan Pablo Aguilera Ozuna and Martín Diéguez and David Fernández-Duque and Brett McLean
Source: Self-asserted source
Martín Diéguez

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE

Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022, Proceedings
2022 | Conference paper
DOI: 10.1007/978-3-031-15298-6\_2
Contributors: Juan P. Aguilera and Martín Diéguez and David Fernández-Duque and Brett McLean; Agata Ciabattoni and Elaine Pimentel and Ruy J. G. B. de Queiroz
Source: Self-asserted source
Martín Diéguez

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE

2022 | Book chapter
DOI: 10.1007/978-3-031-15298-6_2
Contributors: Juan Pablo Aguilera; Martín Diéguez; David Fernández-Duque; Brett McLean
Source: check_circle
Crossref

A Framework for Modelling Molecular Interaction Maps

FLAP
2021 | Journal article
URI:

https://collegepublications.co.uk/ifcolog/?00049
Contributors: Jean-Marc Alliot and Marta Cialdea Mayer and Robert Demolombe and Martín Diéguez and Luis Fariñas del Cerro
Source: Self-asserted source
Martín Diéguez

Automata for dynamic answer set solving: Preliminary report

CoRR
2021 | Journal article
URI:

https://arxiv.org/abs/2109.01782
Contributors: Pedro Cabalar and Martín Diéguez and Susana Hahn and Torsten Schaub
Source: Self-asserted source
Martín Diéguez

Automata for Dynamic Answer Set Solving: Preliminary Report

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021
2021 | Conference paper
URI:

https://ceur-ws.org/Vol-2970/aspocpinvited1.pdf
Contributors: Pedro Cabalar and Martín Diéguez and Susana Hahn and Torsten Schaub; Joaquín Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily LeBlanc and Rafael Peñaloza and Elmer Salazar and Ari Saptawijaya and Felix Weitkämper and Jessica Zangari
Source: Self-asserted source
Martín Diéguez

Bisimulations for Intuitionistic Temporal Logics

FLAP
2021 | Journal article
URI:

https://collegepublications.co.uk/ifcolog/?00050
Contributors: Philippe Balbiani and Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Exploring the Jungle of Intuitionistic Temporal Logics

Theory Pract. Log. Program.
2021 | Journal article
DOI: 10.1017/S1471068421000089
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque and Philip Kremer
Source: Self-asserted source
Martín Diéguez

Some constructive variants of S4 with the finite model property

CoRR
2021 | Journal article
URI:

https://arxiv.org/abs/2104.15053
Contributors: Philippe Balbiani and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Some constructive variants of S4 with the finite model property

36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021
2021 | Conference paper
DOI: 10.1109/LICS52264.2021.9470643
Contributors: Philippe Balbiani and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

A framework for modelling Molecular Interaction Maps

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2008.09546
Contributors: Jean-Marc Alliot and Marta Cialdea Mayer and Robert Demolombe and Martín Diéguez and Luis Fariñas del Cerro
Source: Self-asserted source
Martín Diéguez

Implementing Dynamic Answer Set Programming

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2002.06916
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub and François Laferrière
Source: Self-asserted source
Martín Diéguez

Implementing Dynamic Answer Set Programming over Finite Traces

ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)
2020 | Conference paper
DOI: 10.3233/FAIA200151
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub and François Laferrière; Giuseppe De Giacomo and Alejandro Catalá and Bistra Dilkina and Michela Milano and Senén Barro and Alberto Bugarín and Jérôme Lang
Source: Self-asserted source
Martín Diéguez

Intuitionistic Linear Temporal Logics

ACM Trans. Comput. Log.
2020 | Journal article
DOI: 10.1145/3365833
Contributors: Philippe Balbiani and Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Temporal Answer Set Programming

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2009.06544
Contributors: Felicidad Aguado and Pedro Cabalar and Martín Diéguez and Gilberto Pérez and Torsten Schaub and Anna Schuhmann and Concepción Vidal
Source: Self-asserted source
Martín Diéguez

Towards Metric Temporal Answer Set Programming

CoRR
2020 | Journal article
URI:

https://arxiv.org/abs/2008.02038
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub and Anna Schuhmann
Source: Self-asserted source
Martín Diéguez

Towards Metric Temporal Answer Set Programming

Theory Pract. Log. Program.
2020 | Journal article
DOI: 10.1017/S1471068420000307
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub and Anna Schuhmann
Source: Self-asserted source
Martín Diéguez
grade
Preferred source (of 2)‎

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
2019 | Conference paper
DOI: 10.1007/978-3-030-19570-0\_49
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque and Fabián Romero; Francesco Calimeri and Nicola Leone and Marco Manna
Source: Self-asserted source
Martín Diéguez

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

2019 | Book chapter
DOI: 10.1007/978-3-030-19570-0_49
Contributors: Joseph Boudou; Martín Diéguez; David Fernández-Duque; Fabián Romero
Source: check_circle
Crossref

Complete Intuitionistic Temporal Logics in Topological Dynamics

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1910.00907
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Exploring the Jungle of Intuitionistic Temporal Logics

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1912.12895
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque and Philip Kremer
Source: Self-asserted source
Martín Diéguez

Intuitionistic Linear Temporal Logics

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1912.12893
Contributors: Philippe Balbiani and Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Setting the Basis for Here and There Modal Logics

FLAP
2019 | Journal article
URI:

https://collegepublications.co.uk/ifcolog/?00036
Contributors: Philippe Balbiani and Martín Diéguez and Luis Fariñas del Cerro
Source: Self-asserted source
Martín Diéguez

Timing Interactive Narratives

IEEE Conference on Games, CoG 2019, London, United Kingdom, August 20-23, 2019
2019 | Conference paper
DOI: 10.1109/CIG.2019.8847967
Contributors: Thomas Cabioch and Ronan Champagnat and Anne-Gwenn Bosser and Jean-Noël Chiganne and Martín Diéguez
Source: Self-asserted source
Martín Diéguez

Towards Dynamic Answer Set Programming over Finite Traces

Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
2019 | Conference paper
DOI: 10.1007/978-3-030-20528-7\_12
Contributors: Pedro Cabalar and Martín Diéguez and Torsten Schaub; Marcello Balduccini and Yuliya Lierler and Stefan Woltran
Source: Self-asserted source
Martín Diéguez

Towards Dynamic Answer Set Programming over Finite Traces

2019 | Book chapter
DOI: 10.1007/978-3-030-20528-7_12
Contributors: Pedro Cabalar; Martín Diéguez; Torsten Schaub
Source: check_circle
Crossref

An Intuitionistic Axiomatization of 'Eventually'

Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018
2018 | Conference paper
URI:

http://www.aiml.net/volumes/volume12/Dieguez-FernandezDuque.pdf
Contributors: Martín Diéguez and David Fernández-Duque; Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer
Source: Self-asserted source
Martín Diéguez

Axiomatic systems and topological semantics for intuitionistic temporal logic

CoRR
2018 | Journal article
URI:

http://arxiv.org/abs/1803.05077
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque and Fabián Romero
Source: Self-asserted source
Martín Diéguez

Bisimulations for intuitionistic temporal logics

CoRR
2018 | Journal article
URI:

http://arxiv.org/abs/1803.05078
Contributors: Philippe Balbiani and Joseph Boudou and Martín Diéguez and David Fernández-Duque
Source: Self-asserted source
Martín Diéguez

Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions

Proceedings of the Joint Workshop on Intelligent Narrative Technologies and Workshop on Intelligent Cinematography and Editing co-located with 14th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, INT/WICED@AIIDE 2018, Edmonton, Canada, November 13-14, 2018
2018 | Conference paper
URI:

https://ceur-ws.org/Vol-2321/short1.pdf
Contributors: Anne-Gwenn Bosser and Ariane Ariane Bitoun and François Legras and Martín Diéguez; Hui-Yin Wu and Mei Si and Arnav Jhala
Source: Self-asserted source
Martín Diéguez

Here and There Modal Logic with Dual Implication

Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018
2018 | Conference paper
URI:

http://www.aiml.net/volumes/volume12/Balbiani-Dieguez.pdf
Contributors: Philippe Balbiani and Martín Diéguez; Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer
Source: Self-asserted source
Martín Diéguez

Introducing Temporal Stable Models for Linear Dynamic Logic

Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
2018 | Conference paper
URI:

https://aaai.org/ocs/index.php/KR/KR18/paper/view/18047
Contributors: Anne-Gwenn Bosser and Pedro Cabalar and Martín Diéguez and Torsten Schaub; Michael Thielscher and Francesca Toni and Frank Wolter
Source: Self-asserted source
Martín Diéguez

A Decidable Intuitionistic Temporal Logic

26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden
2017 | Conference paper
DOI: 10.4230/LIPICS.CSL.2017.14
Contributors: Joseph Boudou and Martín Diéguez and David Fernández-Duque; Valentin Goranko and Mads Dam
Source: Self-asserted source
Martín Diéguez

A short biography of Luis Fariñas del Cerro

J. Appl. Non Class. Logics
2017 | Journal article
DOI: 10.1080/11663081.2018.1439360
Contributors: Pedro Cabalar and Martín Diéguez and Andreas Herzig and David Pearce
Source: Self-asserted source
Martín Diéguez

Temporal Equilibrium Logic with past operators

J. Appl. Non Class. Logics
2017 | Journal article
DOI: 10.1080/11663081.2018.1427987
Contributors: Felicidad Aguado and Pedro Cabalar and Martín Diéguez and Gilberto Pérez and Concepción Vidal
Source: Self-asserted source
Martín Diéguez

Temporal logic programs with variables

Theory Pract. Log. Program.
2017 | Journal article
DOI: 10.1017/S1471068416000570
Contributors: Felicidad Aguado and Pedro Cabalar and Gilberto Pérez and Concepción Vidal and Martín Diéguez
Source: Self-asserted source
Martín Diéguez
How many people are using ORCID?