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 × Japan
1 × Spain
1 × USA
Collaborated with:
M.Rodríguez-Artalejo R.Caballero
Talks about:
program (3) logic (3) qualifi (2) function (1) similar (1) revisit (1) quantit (1) semant (1) reason (1) qualif (1)

Person: Carlos A. Romero-Díaz

DBLP DBLP: Romero-D=iacute=az:Carlos_A=

Contributed to:

ICLP 20102010
ICLP 20092009
FLOPS 20082008
PPDP 20082008

Wrote 4 papers:

ICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity #semantics
A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.
ICLP-2009-CaballeroRR #functional #logic programming
Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
FLOPS-2008-Rodriguez-ArtalejoR #logic programming #revisited
Quantitative Logic Programming Revisited (MRA, CARD), pp. 272–288.
PPDP-2008-CaballeroRR #logic programming #reasoning #similarity
Similarity-based reasoning in qualified logic programming (RC, MRA, CARD), pp. 185–194.

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.