Follow
Teodor Przymusinski
Teodor Przymusinski
Professor of Computer Science, University of California at Riverside
Verified email at cs.ucr.edu - Homepage
Title
Cited by
Cited by
Year
On the declarative semantics of deductive databases and logic programs
TC Przymusinski
Foundations of deductive databases and logic programming, 193-216, 1988
8731988
Stable semantics for disjunctive programs
TC Przymusinski
New generation computing 9 (3), 401-424, 1991
4521991
Well-founded semantics coincides with three-valued stable semantics
T Przymusinski
Fundamenta informaticae 13 (4), 445-463, 1990
3691990
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
3581989
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
2492000
On the declarative and procedural semantics of logic programs
TC Przymusinski
Journal of Automated Reasoning 5 (2), 167-205, 1989
2401989
Extended stable semantics for normal and disjunctive programs
TC Przymusinski
Proc. ICLP-90 Conference, 1990
2201990
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2091989
An algorithm to compute circumscription
TC Przymusinski
Artificial intelligence 38 (1), 49-73, 1989
1691989
Semantic issues in deductive databases and logic programs
H Przymusinska, T Przymusinski
Formal techniques in artificial intelligence, 1990
1651990
Static semantics for normal and disjunctive logic programs
TC Przymusinski
Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995
1531995
On the declarative and procedural semantics of stratified deductive databases
T Przymusinski
Foundations of Deductive Databases and Logic Programming 193, 216, 1988
1511988
Dynamic logic programming
JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski
Declarative Programming, 393-408, 1999
1481999
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1382002
Perfect Model Semantics.
TC Przymusinski
ICLP/SLP 88, 1081-1096, 1988
1321988
Stationary semantics for disjunctive logic programs and deductive databases
TC Przymusinski
Proceedings of the 1990 North American conference on Logic programming, 40-59, 1990
1091990
Weakly Perfect Model Semantics for Logic Programs.
H Przymusinska, TC Przymusinski
ICLP/SLP, 1106-1120, 1988
1031988
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
911985
Products of normal spaces
TC Przymusiński
Handbook of set-theoretic topology, 781-826, 1984
811984
Three-valued nonmonotonic formalisms and semantics of logic programs
T Przymusinski
Artificial intelligence 49 (1-3), 309-343, 1991
791991
The system can't perform the operation now. Try again later.
Articles 1–20