| 2002 |
|---|
| 23 | | João Alexandre Leite,
José Júlio Alferes,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
A Language for Multi-dimensional Updates.
CLIMA III 2002: 19-34 |
| 22 | EE | José Júlio Alferes,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
LUPSA language for updating logic programs.
Artif. Intell. 138(1-2): 87-116 (2002) |
| 21 | EE | João Alexandre Leite,
José Júlio Alferes,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
A Language for Multi-dimensional Updates.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2000 |
|---|
| 20 | EE | José Júlio Alferes,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski,
Paulo Quaresma:
Dynamic Knowledge Representation and Its Applications.
AIMSA 2000: 1-10 |
| 19 | | José Júlio Alferes,
João Alexandre Leite,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
Dynamic updates of non-monotonic knowledge bases.
J. Log. Program. 45(1-3): 43-70 (2000) |
| 1999 |
|---|
| 18 | | José Júlio Alferes,
Luís Moniz Pereira,
Teodor C. Przymusinski,
Halina Przymusinska,
Paulo Quaresma:
Preliminary exploration on actions as updates.
APPIA-GULP-PRODE 1999: 259-272 |
| 17 | EE | José Júlio Alferes,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
LUPS - A Language for Updating Logic Programs.
LPNMR 1999: 162-176 |
| 1998 |
|---|
| 16 | | José Júlio Alferes,
João Alexandre Leite,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
Dynamic Logic Programming.
APPIA-GULP-PRODE 1998: 393-408 |
| 15 | | José Júlio Alferes,
João Alexandre Leite,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
Dynamic Logic Programming.
KR 1998: 98-111 |
| 1996 |
|---|
| 14 | EE | Michael Gelfond,
Halina Przymusinska:
Towards a Theory of Elaboration Tolerance: Logic Programming Approach.
International Journal of Software Engineering and Knowledge Engineering 6(1): 89-112 (1996) |
| 1994 |
|---|
| 13 | | Michael Gelfond,
Vladimir Lifschitz,
Halina Przymusinska,
Grigori Schwarz:
Autoepistemic Logic and Introspective Circumscription.
TARK 1994: 197-207 |
| 12 | | Halina Przymusinska,
Teodor C. Przymusinski:
Stationary Default Extensions.
Fundam. Inform. 21(1/2): 67-87 (1994) |
| 1993 |
|---|
| 11 | | Michael Gelfond,
Halina Przymusinska:
Reasoning on Open Domains.
LPNMR 1993: 397-413 |
| 1992 |
|---|
| 10 | | Halina Przymusinska,
Teodor C. Przymusinski,
Hirohisa Seki:
Soundness and Completeness of Partial Deductions for Well-Founded Semantics.
LPAR 1992: 1-12 |
| 9 | | Michael Gelfond,
Halina Przymusinska:
On consistency and completeness of autoepistemic theories.
Fundam. Inform. 16(1): 59-92 (1992) |
| 1991 |
|---|
| 8 | | Michael Gelfond,
Halina Przymusinska,
Vladimir Lifschitz,
Miroslaw Truszczynski:
Disjective Defaults.
KR 1991: 230-237 |
| 7 | | Michael Gelfond,
Halina Przymusinska:
Definitions in Epistemic Specifications.
LPNMR 1991: 245-259 |
| 1989 |
|---|
| 6 | | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
On the Relationship Between Circumscription and Negation as Failure.
Artif. Intell. 38(1): 75-94 (1989) |
| 1988 |
|---|
| 5 | | Halina Przymusinska,
Teodor C. Przymusinski:
Weakly Perfect Model Semantics for Logic Programs.
ICLP/SLP 1988: 1106-1120 |
| 4 | | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.
ISMIS 1988: 435-443 |
| 1987 |
|---|
| 3 | | Halina Przymusinska:
On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases.
ISMIS 1987: 445-452 |
| 1986 |
|---|
| 2 | EE | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.
PODS 1986: 133-139 |
| 1 | | Michael Gelfond,
Halina Przymusinska:
Negation as Failure: Careful Closure Procedure.
Artif. Intell. 30(3): 273-287 (1986) |
