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 × 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 DBLP: Gabaldon:Alfredo

Contributed to:

KR 20042004
ILPS 19971997
KR 19961996

Wrote 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.
Value Minimization in Circumscription (CB, AG, AP), pp. 474–481.

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.