 | 1999 |
|---|
| 10 |       | Pawel Cholewinski,
V. Wiktor Marek,
Miroslaw Truszczynski,
Artur Mikitiuk:
Computing with Default Logic.
Artif. Intell. 112(1-2): 105-146 (1999) |
| 9 | | Pawel Cholewinski,
Miroslaw Truszczynski:
Extremal problems in logic programming and stable model computation
CoRR cs.LO/9901012: (1999) |
| 8 |  | Pawel Cholewinski,
Miroslaw Truszczynski:
Extremal Problems in Logic Programming and Stable Model Computation.
J. Log. Program. 38(2): 219-242 (1999) |
| 1996 |
|---|
| 7 | | Pawel Cholewinski:
Towards Programming in Default Logic.
ISMIS 1996: 223-232 |
| 6 | | Pawel Cholewinski,
Miroslaw Truszczynski:
Extremal Problems in Logic Programming and Stable Model Computation.
JICSLP 1996: 408-422 |
| 5 | | Pawel Cholewinski,
V. Wiktor Marek,
Miroslaw Truszczynski:
Default Reasoning System DeReS.
KR 1996: 518-528 |
| 4 | | Pawel Cholewinski:
Seminormal Stratified Default Theories.
Ann. Math. Artif. Intell. 17(3-4): 213-234 (1996) |
| 1995 |
|---|
| 3 | | Pawel Cholewinski,
V. Wiktor Marek,
Artur Mikitiuk,
Miroslaw Truszczynski:
Experimenting with Nonmonotonic Reasoning.
ICLP 1995: 267-281 |
| 2 | | Pawel Cholewinski:
Reasoning with Stratified Default Theories.
LPNMR 1995: 273-286 |
| 1994 |
|---|
| 1 | | Pawel Cholewinski:
Stratified Default Theories.
CSL 1994: 456-470 |
