Travelled to:1 × Austria
1 × Hungary
Collaborated with:P.Cabalar C.Vidal ∅ J.Boudou D.Fernández-Duque F.Aguado G.Pérez Thomas Cabioch R.Champagnat A.Bosser Jean-Noël Chiganne
Talks about:tempor (5) logic (2) intuitionist (1) equilibrium (1) infinitari (1) interact (1) program (1) monoton (1) equival (1) theori (1)
Person: Martín Diéguez
DBLP: Di=eacute=guez:Mart=iacute=n
Contributed to:
2015
20142012
2017
2019Wrote 6 papers:
- ICLP-J-2015-CabalarDV #encoding #equilibrium #logic
- An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.
- KR-2014-CabalarD #equivalence
- Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).
- ICLP-2012-AguadoCDPV
- Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.
- ICLP-2012-Dieguez #programming #set
- Temporal Answer Set Programming (MD), pp. 445–450.
- CSL-2017-BoudouDF #decidability #logic
- A Decidable Intuitionistic Temporal Logic (JB, MD, DFD), p. 17.
- CoG-2019-CabiochCBCD #interactive
- Timing Interactive Narratives (TC, RC, AGB, JNC, MD), pp. 1–8.