BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Di=eacute=guez:Mart=iacute=n

Contributed to:

ICLP 20152015
KR 20142014
ICLP 20122012
CSL 20172017
CoG 20192019

Wrote 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).
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.