BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × Canada
2 × USA
Collaborated with:
D.A.McAllester A.Fern ∅ T.Fatima C.Witty D.Kozen
Talks about:
infer (4) relat (2) constraint (1) tarskian (1) sequenti (1) polynomi (1) taxonom (1) reliabl (1) program (1) ensembl (1)

Person: Robert Givan

DBLP DBLP: Givan:Robert

Contributed to:

ICML 20042004
ICML 20002000
LICS 19961996
SAS 19961996
KR 19921992
KR 19891989

Wrote 6 papers:

ICML-2004-FernG #relational #reliability
Relational sequential inference with reliable observations (AF, RG).
ICML-2000-FernG #empirical #learning #online
Online Ensemble Learning: An Empirical Study (AF, RG), pp. 279–286.
LICS-1996-McAllesterGWK #constraints #set
Tarskian Set Constraints (DAM, RG, CW, DK), pp. 138–147.
SAS-1996-Givan #polynomial #specification
Inferring Program Specifications in Polynomial-Time (RG), pp. 205–219.
KR-1992-GivanM
New Results on Local Inference Relations (RG, DAM), pp. 403–412.
KR-1989-McAllesterGF #first-order #syntax #taxonomy
Taxonomic Syntax for First Order Inference (DAM, RG, TF), pp. 289–300.
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.