Travelled to:1 × Hungary
Collaborated with:P.Cabalar G.Pérez 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: Felicidad Aguado
DBLP: Aguado:Felicidad
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.