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
2492000
On the relationship between circumscription and negation as failure
M Gelfond, H Przymusinska, T Przymusinski
Artificial Intelligence 38 (1), 75-94, 1989
2091989
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
1831991
Semantic issues in deductive databases and logic programs
H Przymusinska, T Przymusinski
Formal techniques in artificial intelligence, 1990
1651990
Dynamic logic programming
JJA Alferes, JACP Leite, LM Pereira, H Przymusinska, TC Przymusinski
Declarative Programming, 393-408, 1999
1481999
LUPS—A language for updating logic programs
JJ Alferes, LM Pereira, H Przymusinska, TC Przymusinski
Artificial Intelligence 138 (1-2), 87-116, 2002
1382002
Weakly Perfect Model Semantics for Logic Programs.
H Przymusinska, TC Przymusinski
ICLP/SLP, 1106-1120, 1988
1031988
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
911985
Negation as failure: Careful closure procedure
M Gelfond, H Przymusinska
Artificial Intelligence 30 (3), 273-287, 1986
831986
Weakly stratified logic programs
H Przymusinska, TC Przymusinski
Fundamenta Informaticae 13 (1), 51-65, 1990
681990
Stationary default extensions
H Przymusinska, TC Przymusinski
Fundamenta Informaticae 21 (1/2), 67-87, 1994
581994
Formalization of inheritance reasoning in autoepistemic logic
M Gelfond, H Przymusinska
Fundamenta Informaticae 13 (4), 403-443, 1990
441990
Reasoning on Open Domains.
M Gelfond, H Przymusinska
LPNMR 1993, 397-413, 1993
371993
Definitions in Epistemic Specifications.
M Gelfond, H Przymusinska
LPNMR, 245-259, 1991
261991
Towards a theory of elaboration tolerance: Logic programming approach
M Gelfond, H Przymusinska
International Journal of Software Engineering and Knowledge Engineering 6 …, 1996
231996
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
191990
Semantic Issues in Deductive Databases and Logic Programs. Formal Techniques in Artificial Intelligence
H Przymusinska, T Przymusinski
North Holland, 1990
181990
Inheritance hierarchies and autoepistemic logic
H Przymusinska, M Gelfond
Intl. Symposium on Methodologies for Intelligent Systems (ISMIS), 1989
161989
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
141992
The system can't perform the operation now. Try again later.
Articles 1–20