Pawel Cholewinski

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk
Computing with Default Logic. Artif. Intell. 112 (1-2) (1999)
Pawel Cholewinski, Miroslaw Truszczynski
Extremal problems in logic programming and stable model computation CoRR (1999)
Pawel Cholewinski, Miroslaw Truszczynski
Extremal Problems in Logic Programming and Stable Model Computation. J. Log. Program. 38 (2) (1999)
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski
Default Reasoning System DeReS. KR (1996)
Pawel Cholewinski, Miroslaw Truszczynski
Extremal Problems in Logic Programming and Stable Model Computation. JICSLP (1996)
Pawel Cholewinski
Seminormal Stratified Default Theories. Ann. Math. Artif. Intell. 17 (3-4) (1996)
Pawel Cholewinski
Towards Programming in Default Logic. ISMIS (1996)
Pawel Cholewinski
Reasoning with Stratified Default Theories. LPNMR (1995)
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
Experimenting with Nonmonotonic Reasoning. ICLP (1995)
Pawel Cholewinski
Stratified Default Theories. CSL (1994)