Travelled to:
1 × Cyprus
1 × Denmark
1 × India
1 × United Kingdom
Collaborated with:
M.Truszczynski
Talks about:
comput (3) model (3) semant (2) stabl (2) program (1) problem (1) perform (1) paramet (1) complex (1) answer (1)
Person: Zbigniew Lonc
DBLP: Lonc:Zbigniew
Contributed to:
Wrote 4 papers:
- ICLP-2003-LoncT #modelling #set
- Computing Minimal Models, Stable Models, and Answer Sets (ZL, MT), pp. 209–223.
- ICLP-2002-LoncT #modelling #performance #worst-case
- Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.
- ICLP-2001-LoncT #complexity #logic programming #parametricity #semantics #source code
- Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.
- CL-2000-LoncT #on the #problem #semantics
- On the Problem of Computing the Well-Founded Semantics (ZL, MT), pp. 673–687.