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 × Germany
1 × USA
3 × Canada
Collaborated with:
B.Mazure L.Saïs S.Ramon D.Zhang R.Ostrowski C.Piette
Talks about:
automat (3) function (2) extract (2) depend (2) base (2) framework (1) subsumpt (1) platform (1) knowledg (1) descript (1)

Person: Éric Grégoire

DBLP DBLP: Gr=eacute=goire:=Eacute=ric

Contributed to:

SEKE 20122012
CADE 20092009
SEKE 20062006
SAT 20042004
SAT 20042005
CADE 19981998

Wrote 6 papers:

SEKE-2012-GregoireR #component
Disabling Subsumptions in a Logic-Based Component (ÉG, SR), pp. 243–248.
CADE-2009-GregoireMP #question #set
Does This Set of Clauses Overlap with at Least One MUS? (ÉG, BM, CP), pp. 100–115.
SEKE-2006-GregoireZ #automation #consistency #framework #knowledge base
A Framework for Fusing Consistent Knowledge Bases Automatically (ÉG, DZ), pp. 426–431.
SAT-2004-GregoireOMS #automation #dependence #functional
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.
SAT-J-2004-GregoireOMS05 #automation #dependence #functional
Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.
CADE-1998-MazureSG #framework #platform #satisfiability
System Description: CRIL Platform for SAT (BM, LS, ÉG), pp. 124–128.

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.