Martín Diéguez

72 papers A* 4A 1B 14C 2Journal 42Unranked 8

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