On the declarative semantics of deductive databases and logic programs TC Przymusinski Foundations of deductive databases and logic programming, 193-216, 1988 | 920 | 1988 |
Stable semantics for disjunctive programs TC Przymusinski New generation computing 9 (3), 401-424, 1991 | 475 | 1991 |
Well-founded semantics coincides with three-valued stable semantics T Przymusinski Fundamenta informaticae 13 (4), 445-463, 1990 | 404 | 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 | 389 | 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 | 265 | 2000 |
On the declarative and procedural semantics of logic programs TC Przymusinski Journal of automated Reasoning 5, 167-205, 1989 | 258 | 1989 |
Extended stable semantics for normal and disjunctive programs TC Przymusinski Logic programming, 459-477, 1990 | 232 | 1990 |
On the relationship between circumscription and negation as failure M Gelfond, H Przymusinska, T Przymusinski Artificial Intelligence 38 (1), 75-94, 1989 | 219 | 1989 |
Semantic issues in deductive databases and logic programs H Przymusinska Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990 | 187 | 1990 |
An algorithm to compute circumscription TC Przymusinski Artificial intelligence 38 (1), 49-73, 1989 | 180 | 1989 |
On the semantics of stratified deductive databases TC Przymusinski Proceedings of the Workshop on the Foundations of Deductive Databases and …, 1986 | 167 | 1986 |
Static semantics for normal and disjunctive logic programs TC Przymusinski Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995 | 159 | 1995 |
Dynamic logic programming JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski KR 98, 98-109, 1998 | 151 | 1998 |
LUPS—A language for updating logic programs JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski Artificial Intelligence 138 (1-2), 87-116, 2002 | 143 | 2002 |
Perfect Model Semantics. TC Przymusinski ICLP/SLP 88, 1081-1096, 1988 | 142 | 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 | 114 | 1990 |
Weakly Perfect Model Semantics for Logic Programs. H Przymusinska, TC Przymusinski ICLP/SLP, 1106-1120, 1988 | 106 | 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 | 100 | 1985 |
Products of normal spaces TC Przymusiński Handbook of set-theoretic topology, 781-826, 1984 | 87 | 1984 |
Three-valued nonmonotonic formalisms and semantics of logic programs T Przymusinski Artificial intelligence 49 (1-3), 309-343, 1991 | 83 | 1991 |