| 2004 |
|---|
| 62 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super logic programs.
ACM Trans. Comput. Log. 5(1): 129-176 (2004) |
| 2002 |
|---|
| 61 | | 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 |
| 60 | 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) |
| 59 | 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) |
| 2001 |
|---|
| 58 | EE | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci. 258(1-2): 523-553 (2001) |
| 2000 |
|---|
| 57 | 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 |
| 56 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs
CoRR cs.AI/0010032: (2000) |
| 55 | | 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 |
|---|
| 54 | | 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 |
| 53 | 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 |
| 52 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Computation of the Semantics of Autoepistemic Belief Theories.
Artif. Intell. 112(1-2): 233-250 (1999) |
| 1998 |
|---|
| 51 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
Springer 1998 |
| 50 | | 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 |
| 49 | | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
KR 1998: 74-85 |
| 48 | | José Júlio Alferes,
João Alexandre Leite,
Luís Moniz Pereira,
Halina Przymusinska,
Teodor C. Przymusinski:
Dynamic Logic Programming.
KR 1998: 98-111 |
| 47 | | José Júlio Alferes,
Luís Moniz Pereira,
Teodor C. Przymusinski:
`Classical' Negation in Nonmonotonic Reasoning and Logic Programming.
J. Autom. Reasoning 20(1): 107-142 (1998) |
| 1997 |
|---|
| 46 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers
Springer 1997 |
| 45 | | Jürgen Dix,
Teodor C. Przymusinski,
Luís Moniz Pereira:
Logic Programming and Knowledge Representation (LPKR'97).
ILPS 1997: 419-420 |
| 44 | EE | Teodor C. Przymusinski:
Autoepistemic Logic of Knowledge and Beliefs.
Artif. Intell. 95(1): 115-154 (1997) |
| 43 | | Teodor C. Przymusinski,
Hudson Turner:
Update by Means of Inference Rules.
J. Log. Program. 30(2): 125-143 (1997) |
| 1996 |
|---|
| 42 | | Teodor C. Przymusinski:
Super Logic Programs and Negation as Belief.
ELP 1996: 229-235 |
| 41 | | José Júlio Alferes,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming.
JELIA 1996: 143-163 |
| 40 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs.
KR 1996: 529-540 |
| 39 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Prolegomena to Logic Programming for Non-monotonic Reasoning.
NMELP 1996: 1-36 |
| 38 | | José Júlio Alferes,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning and Logic Programming.
Fundam. Inform. 28(1-2): 1-22 (1996) |
| 1995 |
|---|
| 37 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers
Springer 1995 |
| 36 | | José Júlio Alferes,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning.
EPIA 1995: 40-56 |
| 35 | | Vladimir Lifschitz,
Norman McCain,
Teodor C. Przymusinski,
Robert F. Stärk:
Loop Checking and the Wll-Founded Semantics.
LPNMR 1995: 127-142 |
| 34 | | Teodor C. Przymusinski,
Hudson Turner:
Update by Means of Inference Rules.
LPNMR 1995: 156-174 |
| 33 | | Teodor C. Przymusinski:
Static Semantics for Normal and Disjunctive Logic Programs.
Ann. Math. Artif. Intell. 14(2-4): 323-357 (1995) |
| 1994 |
|---|
| 32 | | Teodor C. Przymusinski:
A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs.
AAAI 1994: 952-958 |
| 31 | | Teodor C. Przymusinski:
Semantics of Disjunctive Programs: A Unifying Approach.
GI Jahrestagung 1994: 52 |
| 30 | | Teodor C. Przymusinski:
Autoepistemic Logic of Minimal Beliefs.
JELIA 1994: 364 |
| 29 | | Teodor C. Przymusinski:
Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework.
NMELP 1994: 43-67 |
| 28 | | Teodor C. Przymusinski:
Well-founded and Stationary Models of Logic Programs.
Ann. Math. Artif. Intell. 12(3-4): 141-187 (1994) |
| 27 | | Halina Przymusinska,
Teodor C. Przymusinski:
Stationary Default Extensions.
Fundam. Inform. 21(1/2): 67-87 (1994) |
| 1992 |
|---|
| 26 | | Halina Przymusinska,
Teodor C. Przymusinski,
Hirohisa Seki:
Soundness and Completeness of Partial Deductions for Well-Founded Semantics.
LPAR 1992: 1-12 |
| 25 | | Teodor C. Przymusinski:
Two Simple Characterizations of Well-Founded Semantics.
MFCS 1992: 451-462 |
| 1991 |
|---|
| 24 | | Teodor C. Przymusinski:
Semantics of Disjunctive Logic Programs and Deductive Databases.
DOOD 1991: 85-107 |
| 23 | | Teodor C. Przymusinski:
Well-Founded Completions of Logic Programs.
ICLP 1991: 726-741 |
| 22 | | Teodor C. Przymusinski:
Non-Monotonic Reasoning and Logic Programming.
ISLP 1991: 735-736 |
| 21 | | Teodor C. Przymusinski:
Autoepistemic Logics of Closed Beliefs and Logic Programming.
LPNMR 1991: 3-20 |
| 20 | | Teodor C. Przymusinski:
Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs.
Artif. Intell. 49(1-3): 309-343 (1991) |
| 19 | | Teodor C. Przymusinski:
Stable Semantics for Disjunctive Programs.
New Generation Comput. 9(3/4): 401-424 (1991) |
| 1990 |
|---|
| 18 | | Teodor C. Przymusinski:
Extended Stable Semantics for Normal and Disjunctive Programs.
ICLP 1990: 459-477 |
| 17 | | Teodor C. Przymusinski:
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.
LPNMR 1990: 103-106 |
| 16 | | Teodor C. Przymusinski:
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases.
NACLP 1990: 40-59 |
| 15 | | Teodor C. Przymusinski:
The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics.
Fundam. Inform. 13(4): 445-463 (1990) |
| 1989 |
|---|
| 14 | | Teodor C. Przymusinski:
Non-Monotonic Formalisms and Logic Programming.
ICLP 1989: 655-674 |
| 13 | | Teodor C. Przymusinski:
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming.
KR 1989: 341-348 |
| 12 | | Teodor C. Przymusinski:
On Constructive Negation in Logic Programming.
NACLP 1989: 0-0 |
| 11 | EE | Teodor C. Przymusinski:
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model.
PODS 1989: 11-21 |
| 10 | | Teodor C. Przymusinski:
An Algorithm to Compute Circumscription.
Artif. Intell. 38(1): 49-73 (1989) |
| 9 | | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
On the Relationship Between Circumscription and Negation as Failure.
Artif. Intell. 38(1): 75-94 (1989) |
| 8 | | Teodor C. Przymusinski:
On the Declarative and Procedural Semantics of Logic Programs.
J. Autom. Reasoning 5(2): 167-205 (1989) |
| 1988 |
|---|
| 7 | | Teodor C. Przymusinski:
On the Relationship Between Logic Programming and Nonmonotonic Reasoning.
AAAI 1988: 444-448 |
| 6 | | Teodor C. Przymusinski:
Perfect Model Semantics.
ICLP/SLP 1988: 1081-1096 |
| 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 |
| 3 | | Teodor C. Przymusinski:
On the Declarative Semantics of Deductive Databases and Logic Programs.
Foundations of Deductive Databases and Logic Programming. 1988: 193-216 |
| 1986 |
|---|
| 2 | | Teodor C. Przymusinski:
Query Answering in Circumscriptive and Closed-World Theories.
AAAI 1986: 186-190 |
| 1 | EE | Michael Gelfond,
Halina Przymusinska,
Teodor C. Przymusinski:
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.
PODS 1986: 133-139 |
