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 × Germany
1 × Italy
1 × The Netherlands
Collaborated with:
H.Prade S.Anantharaman F.Saubion A.Tellez-Arenas
Talks about:
logic (3) proport (2) substitut (1) intension (1) explicit (1) similar (1) program (1) predict (1) homogen (1) rewrit (1)

Person: Gilles Richard

DBLP DBLP: Richard:Gilles

Contributed to:

KR 20122012
KR 20102010
ICFP 19971997
RTA 19951995

Wrote 4 papers:

KR-2012-PradeR #logic #predict #similarity
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction (HP, GR).
KR-2010-PradeR #logic #reasoning
Reasoning with Logical Proportions (HP, GR).
ICFP-1997-RichardST #set #using
Intensional Sets Using Explicit Substitutions (GR, FS, ATA), p. 318.
RTA-1995-AnantharamanR #logic programming #source code
A Rewrite Mechanism for Logic Programs with Negation (SA, GR), pp. 163–178.

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.