| On the declarative semantics of deductive databases and logic programs TC Przymusinski Foundations of deductive databases and logic programming, 193-216, 1988 | 873 | 1988 |
| Stable semantics for disjunctive programs TC Przymusinski New generation computing 9 (3), 401-424, 1991 | 452 | 1991 |
| Well-founded semantics coincides with three-valued stable semantics T Przymusinski Fundamenta informaticae 13 (4), 445-463, 1990 | 369 | 1990 |
| Every logic program has a natural stratification and an iterated least fixed point model TC Przymusinski Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989 | 358 | 1989 |
| Dynamic updates of non-monotonic knowledge bases JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski The journal of logic programming 45 (1-3), 43-70, 2000 | 249 | 2000 |
| On the declarative and procedural semantics of logic programs TC Przymusinski Journal of Automated Reasoning 5 (2), 167-205, 1989 | 240 | 1989 |
| Extended stable semantics for normal and disjunctive programs TC Przymusinski Proc. ICLP-90 Conference, 1990 | 220 | 1990 |
| On the relationship between circumscription and negation as failure M Gelfond, H Przymusinska, T Przymusinski Artificial Intelligence 38 (1), 75-94, 1989 | 209 | 1989 |
| An algorithm to compute circumscription TC Przymusinski Artificial intelligence 38 (1), 49-73, 1989 | 169 | 1989 |
| Semantic issues in deductive databases and logic programs H Przymusinska, T Przymusinski Formal techniques in artificial intelligence, 1990 | 165 | 1990 |
| Static semantics for normal and disjunctive logic programs TC Przymusinski Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995 | 153 | 1995 |
| On the declarative and procedural semantics of stratified deductive databases T Przymusinski Foundations of Deductive Databases and Logic Programming 193, 216, 1988 | 151 | 1988 |
| Dynamic logic programming JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski Declarative Programming, 393-408, 1999 | 148 | 1999 |
| LUPS—A language for updating logic programs JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski Artificial Intelligence 138 (1-2), 87-116, 2002 | 138 | 2002 |
| Perfect Model Semantics. TC Przymusinski ICLP/SLP 88, 1081-1096, 1988 | 132 | 1988 |
| Stationary semantics for disjunctive logic programs and deductive databases TC Przymusinski Proceedings of the 1990 North American conference on Logic programming, 40-59, 1990 | 109 | 1990 |
| Weakly Perfect Model Semantics for Logic Programs. H Przymusinska, TC Przymusinski ICLP/SLP, 1106-1120, 1988 | 103 | 1988 |
| The extended closed world assumption and its relationship to parallel circumscription M Gelfond, H Przymusinska, T Przymusinski Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of …, 1985 | 91 | 1985 |
| Products of normal spaces TC Przymusiński Handbook of set-theoretic topology, 781-826, 1984 | 81 | 1984 |
| Three-valued nonmonotonic formalisms and semantics of logic programs T Przymusinski Artificial intelligence 49 (1-3), 309-343, 1991 | 79 | 1991 |
Halina PrzymusinskaCalifornia Polytechnic University PomonaVerified email at cs.ucr.edu
