متابعة
Teodor Przymusinski
Teodor Przymusinski
Professor of Computer Science, University of California at Riverside
بريد إلكتروني تم التحقق منه على cs.ucr.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
On the declarative semantics of deductive databases and logic programs
TC Przymusinski
Foundations of deductive databases and logic programming, 193-216, 1988
9331988
Stable semantics for disjunctive programs
TC Przymusinski
New generation computing 9 (3), 401-424, 1991
4771991
Well-founded semantics coincides with three-valued stable semantics
T Przymusinski
Fundamenta informaticae 13 (4), 445-463, 1990
4001990
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
3881989
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
2692000
On the declarative and procedural semantics of logic programs
TC Przymusinski
Journal of automated Reasoning 5, 167-205, 1989
2551989
Extended stable semantics for normal and disjunctive programs
TC Przymusinski
Logic programming, 459-477, 1990
2271990
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2231989
Semantic issues in deductive databases and logic programs
H Przymusinska
Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990
1831990
An algorithm to compute circumscription
TC Przymusinski
Artificial intelligence 38 (1), 49-73, 1989
1831989
Static semantics for normal and disjunctive logic programs
TC Przymusinski
Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995
1591995
On the declarative and procedural semantics of stratified deductive databases
T Przymusinski
Foundations of Deductive Databases and Logic Programming, 193-216, 1988
1571988
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1491998
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1412002
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
1151990
Weakly Perfect Model Semantics for Logic Programs.
H Przymusinska, TC Przymusinski
ICLP/SLP, 1106-1120, 1988
1111988
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
851991
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20