Следене
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
8811988
Stable semantics for disjunctive programs
TC Przymusinski
New generation computing 9 (3-4), 401-424, 1991
4601991
Well-founded semantics coincides with three-valued stable semantics
T Przymusinski
Fundamenta informaticae 13 (4), 445-463, 1990
3851990
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
3641989
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
2542000
On the declarative and procedural semantics of logic programs
TC Przymusinski
Journal of Automated Reasoning 5 (2), 167-205, 1989
2431989
Extended stable semantics for normal and disjunctive programs
TC Przymusinski
Proc. ICLP-90 Conference, 1990
2181990
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2141989
An algorithm to compute circumscription
TC Przymusinski
Artificial intelligence 38 (1), 49-73, 1989
1761989
Semantic issues in deductive databases and logic programs
H Przymusinska
Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990
1661990
Static semantics for normal and disjunctive logic programs
TC Przymusinski
Annals of Mathematics and Artificial intelligence 14 (2-4), 323-357, 1995
1551995
On the declarative and procedural semantics of stratified deductive databases
T Przymusinski
Foundations of Deductive Databases and Logic Programming 193, 216, 1988
1531988
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
KR 98, 98-109, 1998
1471998
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
1301988
Stationary semantics for disjunctive logic programs and deductive databases
TC Przymusinski
Proceedings of the 1990 North American conference on Logic programming, 40-59, 1990
1121990
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
921985
Three-valued nonmonotonic formalisms and semantics of logic programs
T Przymusinski
Artificial intelligence 49 (1-3), 309-343, 1991
811991
Products of normal spaces
TC Przymusiński
Handbook of set-theoretic topology, 781-826, 1984
811984
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20