Travelled to:1 × Canada
1 × USA
Collaborated with:∅ M.Gelfond C.Baral A.Provetti
Talks about:circumscript (1) precondit (1) algorithm (1) progress (1) programm (1) function (1) control (1) specif (1) minim (1) logic (1)
Person: Alfredo Gabaldon
DBLP: Gabaldon:Alfredo
Contributed to:
2004
19971996Wrote 3 papers:
- KR-2004-Gabaldon #algorithm
- Precondition Control and the Progression Algorithm (AG), pp. 634–643.
- ILPS-1997-GelfondG #functional #logic programming #specification
- From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.
- KR-1996-BaralGP
- Value Minimization in Circumscription (CB, AG, AP), pp. 474–481.