Seguir
Teodor Przymusinski
Teodor Przymusinski
Professor of Computer Science, University of California at Riverside
Dirección de correo verificada de cs.ucr.edu - Página principal
Título
Citado por
Citado por
Año
On the declarative semantics of deductive databases and logic programs
TC Przymusinski
Foundations of deductive databases and logic programming, 193-216, 1988
9031988
Stable semantics for disjunctive programs
TC Przymusinski
New generation computing 9 (3), 401-424, 1991
4671991
Well-founded semantics coincides with three-valued stable semantics
T Przymusinski
Fundamenta informaticae 13 (4), 445-463, 1990
3871990
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
3841989
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
2632000
On the declarative and procedural semantics of logic programs
TC Przymusinski
Journal of automated Reasoning 5, 167-205, 1989
2521989
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
2171989
An algorithm to compute circumscription
TC Przymusinski
Artificial intelligence 38 (1), 49-73, 1989
1831989
Semantic issues in deductive databases and logic programs
H Przymusinska
Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990
1811990
On the semantics of stratified deductive databases
TC Przymusinski
Proceedings of the Workshop on the Foundations of Deductive Databases and …, 1986
1621986
Static semantics for normal and disjunctive logic programs
TC Przymusinski
Annals of Mathematics and Artificial intelligence 14 (2), 323-357, 1995
1561995
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
1432002
Perfect Model Semantics.
TC Przymusinski
ICLP/SLP 88, 1081-1096, 1988
1371988
Stationary semantics for disjunctive logic programs and deductive databases
TC Przymusinski
Proceedings of the 1990 North American conference on Logic programming, 40-59, 1990
1141990
Weakly Perfect Model Semantics for Logic Programs.
H Przymusinska, TC Przymusinski
ICLP/SLP, 1106-1120, 1988
1011988
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
1001985
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20