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: Pfeifer:Gerald
Contributed to:
2004
20001998Wrote 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.