Travelled to:1 × Hungary
Collaborated with:P.Cabalar M.Diéguez F.Aguado G.Pérez D.Pearce
Talks about:equilibrium (2) tempor (2) logic (2) infinitari (1) semant (1) ground (1) encod (1) denot (1) pave (1) way (1)
Person: Concepción Vidal
DBLP: Vidal:Concepci=oacute=n
Contributed to:
20152012Wrote 3 papers:
- ICLP-J-2015-AguadoCPPV #equilibrium #logic #semantics
- A denotational semantics for equilibrium logic (FA, PC, DP, GP, CV), pp. 620–634.
- ICLP-J-2015-CabalarDV #encoding #equilibrium #logic
- An infinitary encoding of temporal equilibrium logic (PC, MD, CV), pp. 666–680.
- ICLP-2012-AguadoCDPV
- Paving the Way for Temporal Grounding (FA, PC, MD, GP, CV), pp. 290–300.