Pawel Cholewinski

Reasoning with Stratified Default Theories

Pawel Cholewinski, 1995, LPNMR.

Towards Programming in Default Logic

Pawel Cholewinski, 1996, ISMIS.

Extremal Problems in Logic Programming and Stable Model Computation

Miroslaw Truszczynski, Pawel Cholewinski, 1996, J. Log. Program..

Default Reasoning System DeReS

Victor W. Marek, Miroslaw Truszczynski, Pawel Cholewinski, 1996, KR.

Seminormal stratified default theories

Pawel Cholewinski, 2005, Annals of Mathematics and Artificial Intelligence.

Stratified Default Theories

Pawel Cholewinski, 1994, CSL.

Experimenting with Nonmonotonic Reasoning

Victor W. Marek, Miroslaw Truszczynski, Artur Mikitiuk, 1995, ICLP.

Computing with Default Logic

Victor W. Marek, Miroslaw Truszczynski, Artur Mikitiuk, 1999, Artif. Intell..