1999 |
10 | EE | Pawel Cholewinski,
V. Wiktor Marek,
Miroslaw Truszczynski,
Artur Mikitiuk:
Computing with Default Logic.
Artif. Intell. 112(1-2): 105-146 (1999) |
9 | EE | 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 |