The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martín Diéguez" ( http://dblp.L3S.de/Authors/Martín_Diéguez )

  Author page on DBLP  Author page in RDF  Community of Martín Diéguez in ASPL-2

Publication years (Num. hits)
2011-2017 (18) 2018-2019 (10)
Publication types (Num. hits)
article(10) incollection(1) inproceedings(17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 29 publication records. Showing 28 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joseph Boudou, Martín Diéguez, David Fernández-Duque Complete Intuitionistic Temporal Logics in Topological Dynamics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Torsten Schaub Towards Dynamic Answer Set Programming over Finite Traces. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Cabioch, Ronan Champagnat, Anne-Gwenn Bosser, Jean-Noël Chiganne, Martín Diéguez Timing Interactive Narratives. Search on Bibsonomy CoG The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero Axiomatic systems and topological semantics for intuitionistic temporal logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque Bisimulations for intuitionistic temporal logics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anne-Gwenn Bosser, Ariane Ariane Bitoun, François Legras, Martín Diéguez Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions. Search on Bibsonomy INTWICED@AIIDE The full citation details ... 2018 DBLP  BibTeX  RDF
1Martín Diéguez, David Fernández-Duque An Intuitionistic Axiomatization of 'Eventually'. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, Martín Diéguez Here and There Modal Logic with Dual Implication. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub Introducing Temporal Stable Models for Linear Dynamic Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce 0001 A short biography of Luis Fariñas del Cerro. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Equilibrium Logic with past operators. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Temporal logic programs with variables. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque A Decidable Intuitionistic Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Logic Programs with Variables. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet Temporal Logic Modeling of Biological Systems. Search on Bibsonomy Towards Paraconsistent Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Martín Diéguez Temporal Here and There. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro Metabolic Pathways as Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Concepción Vidal An infinitary encoding of temporal equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Santos Reyes, Pablo Villot, Martín Diéguez Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model. Search on Bibsonomy Journal of Computational Biology The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez Strong Equivalence of Non-Monotonic Temporal Theories. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal equilibrium logic: a survey. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Santos Reyes, Pablo Villot, Martín Diéguez Cellular automata for modeling protein folding using the HP model. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Santos Reyes, Pablo Villot, Martín Diéguez Protein folding with cellular automata in the 3D HP model. Search on Bibsonomy GECCO (Companion) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Paving the Way for Temporal Grounding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martín Diéguez Temporal Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jose Santos, Martín Diéguez Differential Evolution for Protein Structure Prediction Using the HP Model. Search on Bibsonomy IWINAC (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez STeLP - A Tool for Temporal Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #28 of 28 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license