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
9111988
Stable semantics for disjunctive programs
TC Przymusinski
New generation computing 9 (3), 401-424, 1991
4711991
Well-founded semantics coincides with three-valued stable semantics
T Przymusinski
Fundamenta informaticae 13 (4), 445-463, 1990
3921990
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
3851989
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
2642000
On the declarative and procedural semantics of logic programs
TC Przymusinski
Journal of automated Reasoning 5, 167-205, 1989
2541989
Extended stable semantics for normal and disjunctive programs
TC Przymusinski
Proc. ICLP-90 Conference, 1990
2311990
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2181989
Semantic issues in deductive databases and logic programs
H Przymusinska
Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990
1841990
An algorithm to compute circumscription
TC Przymusinski
Artificial intelligence 38 (1), 49-73, 1989
1801989
On the semantics of stratified deductive databases
TC Przymusinski
Proceedings of the Workshop on the Foundations of Deductive Databases and …, 1986
1671986
Static semantics for normal and disjunctive logic programs
TC Przymusinski
Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995
1581995
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1511998
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1432002
Perfect Model Semantics.
TC Przymusinski
ICLP/SLP 88, 1081-1096, 1988
1401988
Stationary semantics for disjunctive logic programs and deductive databases
TC Przymusinski
Proceedings of the 1990 North American conference on Logic programming, 40-59, 1990
1131990
Weakly Perfect Model Semantics for Logic Programs.
H Przymusinska, TC Przymusinski
ICLP/SLP, 1106-1120, 1988
1051988
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
991985
Products of normal spaces
TC Przymusiński
Handbook of set-theoretic topology, 781-826, 1984
871984
Three-valued nonmonotonic formalisms and semantics of logic programs
T Przymusinski
Artificial intelligence 49 (1-3), 309-343, 1991
831991
The system can't perform the operation now. Try again later.
Articles 1–20