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 × Italy
1 × USA
Collaborated with:
A.Saad T.W.Frühwirth
Talks about:
constraint (4) set (3) conjunto (2) domain (2) finit (2) quantifi (1) variabl (1) reliabl (1) program (1) reason (1)

Person: Carmen Gervet

DBLP DBLP: Gervet:Carmen

Contributed to:

ICLP 20142014
ICLP 19941994
ILPS 19941994

Wrote 3 papers:

ICLP-J-2014-SaadFG #constraints #reasoning #reliability
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
ICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ILPS-1994-Gervet #constraints #finite #logic programming #named #set
Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.

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.