Martín Diéguez

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 51

Top Topics

Mazurkiewicz Traces

Answer Set Programming

Metabolic Pathways

Top Venues

Theory Pract. Log. Program.

Publications

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric Dynamic Equilibrium Logic. CoRR (2024)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
Constructive S4 modal logics with the finite birelational frame property. CoRR (2024)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33 (3-4) (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-present temporal programs over finite traces: a preliminary report. ICLP Workshops (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Equilibrium Logic over Timed Traces. CoRR (2023)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Gödel-Dummett linear temporal logic. CoRR (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-Present Temporal Programs over Finite Traces. JELIA (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-present temporal programs over finite traces. CoRR (2023)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC (2022)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces. LPNMR (2022)
Philippe Balbiani, Martín Diéguez, Çigdem Gencer
Advanced Languages of Terms for Ontologies. Description Logics (2022)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. 87 (3) (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. CoRR (2022)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. KR (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy temporal reasoning in PSPACE. CoRR (2022)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. 21 (4) (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. CoRR (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. LICS (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for dynamic answer set solving: Preliminary report. CoRR (2021)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps. FLAP 8 (7) (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for Intuitionistic Temporal Logics. FLAP 8 (8) (2021)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. CoRR (2020)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21 (2) (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming. CoRR (2020)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A framework for modelling Molecular Interaction Maps. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI (2020)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA (2019)
Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics. FLAP 6 (6) (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. CoRR (2019)
Thomas Cabioch, Ronan Champagnat, Anne-Gwenn Bosser, Jean-Noël Chiganne, Martín Diéguez
Timing Interactive Narratives. CoG (2019)
Pedro Cabalar, Martín Diéguez, Torsten Schaub
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. CoRR (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics. CoRR (2018)
Philippe Balbiani, Martín Diéguez
Here and There Modal Logic with Dual Implication. Advances in Modal Logic (2018)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR (2018)
Martín Diéguez, David Fernández-Duque
An Intuitionistic Axiomatization of 'Eventually'. Advances in Modal Logic (2018)
Anne-Gwenn Bosser, Ariane Ariane Bitoun, François Legras, Martín Diéguez
Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions. INT/WICED@AIIDE (2018)
Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
Introducing Temporal Stable Models for Linear Dynamic Logic. KR (2018)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
Temporal logic programs with variables. Theory Pract. Log. Program. 17 (2) (2017)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
A Decidable Intuitionistic Temporal Logic. CSL (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27 (3-4) (2017)
Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro
Metabolic Pathways as Temporal Logic Programs. JELIA (2016)
Philippe Balbiani, Martín Diéguez
Temporal Here and There. JELIA (2016)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Logic Programs with Variables. CoRR (2016)
Pedro Cabalar, Martín Diéguez, Concepción Vidal
An infinitary encoding of temporal equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
José Santos Reyes, Pablo Villot, Martín Diéguez
Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model. J. Comput. Biol. 21 (11) (2014)
Pedro Cabalar, Martín Diéguez
Strong Equivalence of Non-Monotonic Temporal Theories. KR (2014)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal equilibrium logic: a survey. J. Appl. Non Class. Logics 23 (1-2) (2013)
José Santos Reyes, Pablo Villot, Martín Diéguez
Protein folding with cellular automata in the 3D HP model. GECCO (Companion) (2013)
José Santos Reyes, Pablo Villot, Martín Diéguez
Cellular automata for modeling protein folding using the HP model. IEEE Congress on Evolutionary Computation (2013)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Paving the Way for Temporal Grounding. ICLP (Technical Communications) (2012)
Martín Diéguez
Temporal Answer Set Programming. ICLP (Technical Communications) (2012)
Pedro Cabalar, Martín Diéguez
STeLP - A Tool for Temporal Answer Set Programming. LPNMR (2011)
Jose Santos, Martín Diéguez
Differential Evolution for Protein Structure Prediction Using the HP Model. IWINAC (1) (2011)