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 × Italy
1 × United Kingdom
Collaborated with:
T.Eiter W.Faber N.Leone M.Fink S.Woltran A.Polleres C.Mateis F.Scarcello
Talks about:
comparison (1) incomplet (1) benchmark (1) progress (1) knowledg (1) program (1) complex (1) system (1) report (1) predic (1)

Person: Gerald Pfeifer

DBLP DBLP: Pfeifer:Gerald

Contributed to:

KR 20042004
CL 20002000
KR 19981998

Wrote 3 papers:

KR-2004-EiterFFPW #bound #complexity #model checking #programming #set
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
CL-2000-EiterFLPP #information management
Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.
KR-1998-EiterLMPS #benchmark #metric
The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.

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.