Travelled to:1 × Hungary
Collaborated with:F.Aguado P.Cabalar C.Vidal D.Pearce M.Diéguez
Talks about:equilibrium (1) tempor (1) semant (1) ground (1) logic (1) denot (1) pave (1) way (1)
Person: Gilberto Pérez
DBLP: P=eacute=rez:Gilberto
Contributed to:
20152012Wrote 2 papers:
- ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics
- A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
- ICLP-2012-AguadoCDPV
- Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.