| 2007 |
|---|
| 8 | | Artur Mikitiuk,
Eric Moseley,
Miroslaw Truszczynski:
Towards Debugging of Answer-Set Programs in the Language PSpb.
IC-AI 2007: 635-640 |
| 2006 |
|---|
| 7 | EE | Deborah East,
Mikhail Iakhiaev,
Artur Mikitiuk,
Miroslaw Truszczynski:
Tools for modeling and solving search problems.
AI Commun. 19(4): 301-312 (2006) |
| 1999 |
|---|
| 6 | EE | Pawel Cholewinski,
V. Wiktor Marek,
Miroslaw Truszczynski,
Artur Mikitiuk:
Computing with Default Logic.
Artif. Intell. 112(1-2): 105-146 (1999) |
| 1996 |
|---|
| 5 | | Artur Mikitiuk:
Semi-Representability of Default Theories in Rational Default Logic.
JELIA 1996: 192-207 |
| 1995 |
|---|
| 4 | | Pawel Cholewinski,
V. Wiktor Marek,
Artur Mikitiuk,
Miroslaw Truszczynski:
Experimenting with Nonmonotonic Reasoning.
ICLP 1995: 267-281 |
| 3 | | Artur Mikitiuk,
Miroslaw Truszczynski:
Constrained and Rational Default Logics.
IJCAI 1995: 1509-1517 |
| 2 | | Artur Mikitiuk,
Miroslaw Truszczynski:
Skeptical Rational Extensions.
LPNMR 1995: 259-272 |
| 1993 |
|---|
| 1 | | Artur Mikitiuk,
Miroslaw Truszczynski:
Rational Default Logic and Disjunctive Logic Programming.
LPNMR 1993: 283-299 |
