Martín Diéguez

According to our database, Martín Diéguez authored at least 48 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Constructive S4 modal logics with the finite birelational frame property.

Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean

CoRR, 2024

2023

Metric dynamic equilibrium logic.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann

J. Appl. Non Class. Logics, October, 2023

The Impact of Green Feedback on Users' Software Usage.

Adel Noureddine, Martín Diéguez Lodeiro, Noëlle Bru, Richard Chbeir

IEEE Trans. Sustain. Comput., 2023

Linear-Time Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

Theory Pract. Log. Program., 2023

Gödel-Dummett linear temporal logic.

Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean

CoRR, 2023

Metric Temporal Equilibrium Logic over Timed Traces.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

CoRR, 2023

Past-Present Temporal Programs over Finite Traces.

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

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

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

Complete intuitionistic Temporal Logics for Topological dynamics.

Joseph Boudou, Martín Diéguez, David Fernández-Duque

J. Symb. Log., 2022

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.

Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Proceedings of the Logic, Language, Information, and Computation, 2022

Metric Temporal Answer Set Programming over Timed Traces.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

A Gödel Calculus for Linear Temporal Logic.

Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Advanced Languages of Terms for Ontologies.

Philippe Balbiani, Martín Diéguez, Çigdem Gencer

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Exploring the Jungle of Intuitionistic Temporal Logics.

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer

Theory Pract. Log. Program., 2021

Bisimulations for Intuitionistic Temporal Logics.

Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque

FLAP, 2021

A Framework for Modelling Molecular Interaction Maps.

Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro

FLAP, 2021

Some constructive variants of S4 with the finite model property.

Philippe Balbiani, Martín Diéguez, David Fernández-Duque

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Automata for Dynamic Answer Set Solving: Preliminary Report.

Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Towards Metric Temporal Answer Set Programming.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

Theory Pract. Log. Program., 2020

Intuitionistic Linear Temporal Logics.

Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque

ACM Trans. Comput. Log., 2020

Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

CoRR, 2020

Implementing Dynamic Answer Set Programming.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière

CoRR, 2020

Implementing Dynamic Answer Set Programming over Finite Traces.

Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Setting the Basis for Here and There Modal Logics.

Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro

FLAP, 2019

Towards Dynamic Answer Set Programming over Finite Traces.

Pedro Cabalar, Martín Diéguez, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Timing Interactive Narratives.

Thomas Cabioch, Ronan Champagnat, Anne-Gwenn Bosser, Jean-Noël Chiganne, Martín Diéguez

Proceedings of the IEEE Conference on Games, 2019

2018

Introducing Temporal Stable Models for Linear Dynamic Logic.

Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

An Intuitionistic Axiomatization of 'Eventually'.

Martín Diéguez, David Fernández-Duque

Proceedings of the Advances in Modal Logic 12, 2018

Here and There Modal Logic with Dual Implication.

Philippe Balbiani, Martín Diéguez

Proceedings of the Advances in Modal Logic 12, 2018

Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions.

Anne-Gwenn Bosser, Ariane Ariane Bitoun, François Legras, Martín Diéguez

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, 2018

2017

Temporal logic programs with variables.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez

Theory Pract. Log. Program., 2017

A short biography of Luis Fariñas del Cerro.

Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce

J. Appl. Non Class. Logics, 2017

Temporal Equilibrium Logic with past operators.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2017

A Decidable Intuitionistic Temporal Logic.

Joseph Boudou, Martín Diéguez, David Fernández-Duque

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Temporal Logic Modeling of Biological Systems.

Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet

Proceedings of the Towards Paraconsistent Engineering, 2016

Temporal Here and There.

Philippe Balbiani, Martín Diéguez

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Metabolic Pathways as Temporal Logic Programs.

Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

An infinitary encoding of temporal equilibrium logic.

Pedro Cabalar, Martín Diéguez, Concepción Vidal

Theory Pract. Log. Program., 2015

2014

Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model.

José Santos Reyes, Pablo Villot, Martín Diéguez

J. Comput. Biol., 2014

Strong Equivalence of Non-Monotonic Temporal Theories.

Pedro Cabalar, Martín Diéguez

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

Temporal equilibrium logic: a survey.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2013

Protein folding with cellular automata in the 3D HP model.

José Santos Reyes, Pablo Villot, Martín Diéguez

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Cellular automata for modeling protein folding using the HP model.

José Santos Reyes, Pablo Villot, Martín Diéguez

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

Temporal Answer Set Programming.

Martín Diéguez

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Paving the Way for Temporal Grounding.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

STeLP - A Tool for Temporal Answer Set Programming.

Pedro Cabalar, Martín Diéguez

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Differential Evolution for Protein Structure Prediction Using the HP Model.

José Santos, Martín Diéguez

Proceedings of the Foundations on Natural and Artificial Computation, 2011