Follow
Halina Przymusinska
Halina Przymusinska
California Polytechnic University Pomona
Verified email at cs.ucr.edu
Title
Cited by
Cited by
Year
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 relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2181989
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
2061991
Semantic issues in deductive databases and logic programs
H Przymusinska
Formal techniques in artificial intelligence: A sourcebook, 321-367, 1990
1841990
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
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
Negation as failure: Careful closure procedure
M Gelfond, H Przymusinska
Artificial Intelligence 30 (3), 273-287, 1986
851986
Weakly stratified logic programs
H Przymusinska, TC Przymusinski
Fundamenta Informaticae 13 (1), 51-65, 1990
671990
Stationary default extensions
H Przymusinska, TC Przymusinski
Fundamenta Informaticae 21 (1/2), 67-87, 1994
601994
Formalization of inheritance reasoning in autoepistemic logic
M Gelfond, H Przymusinska
Fundamenta Informaticae 13 (4), 403-443, 1990
451990
Reasoning in open domains
M Gelfond, H Przymusinska
411993
Preliminary exploration on actions as updates.
JJ Alferes, LM Pereira, TC Przymusinski, H Przymusinska, P Quaresma
APPIA-GULP-PRODE, 259-272, 1999
321999
Definitions in Epistemic Specifications.
M Gelfond, H Przymusinska
LPNMR, 245-259, 1991
311991
Towards a theory of elaboration tolerance: Logic programming approach
M Gelfond, H Przymusinska
International Journal of Software Engineering and Knowledge Engineering 6 …, 1996
281996
On consistency and completeness of autoepistemic theories
M Gelfond, H Przymusinska
Fundamenta Informaticae 16 (1), 59-92, 1992
221992
On the relationship between CWA, minimal model, and minimal Herbrand model semantics
M Gelfond, H Przymusinska, T Przymusinski
International Journal of Intelligent Systems 5 (5), 549-564, 1990
201990
Soundness and completeness of partial deductions for well-founded semantics
H Przymusinska, T Przymusinski, H Seki
International Conference on Logic for Programming Artificial Intelligence …, 1992
171992
Inheritance hierarchies and autoepistemic logic
H Przymusinska, M Gelfond
Intl. Symposium on Methodologies for Intelligent Systems (ISMIS), 1989
151989
The system can't perform the operation now. Try again later.
Articles 1–20