On the relationship between autoepistemic logic and parallel circumscription. - Michael Gelfond; Halina Przymusinska (ISMIS, 1986)

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (PODS, 1986)

Negation as Failure: Careful Closure Procedure. - Michael Gelfond; Halina Przymusinska (Artif. Intell., 1986)

On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases. - Halina Przymusinska (ISMIS, 1987)

Weakly Perfect Model Semantics for Logic Programs. - Halina Przymusinska; Teodor C. Przymusinski (ICLP/SLP, 1988)

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (ISMIS, 1988)

On the Relationship Between Circumscription and Negation as Failure. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 1989)

On the relationship between CWA, minimal model, and minimal herbrand model semantics. - Michael Gelfond; Halina Przymusinska; Teodor C. Przymusinski (Int. J. Intell. Syst., 1990)

Disjective Defaults. - Michael Gelfond; Halina Przymusinska; Vladimir Lifschitz; Miroslaw Truszczynski (KR, 1991)

Definitions in Epistemic Specifications. - Michael Gelfond; Halina Przymusinska (LPNMR, 1991)

Soundness and Completeness of Partial Deductions for Well-Founded Semantics. - Halina Przymusinska; Teodor C. Przymusinski; Hirohisa Seki (LPAR, 1992)

On consistency and completeness of autoepistemic theories. - Michael Gelfond; Halina Przymusinska (Fundam. Informaticae, 1992)

Reasoning on Open Domains. - Michael Gelfond; Halina Przymusinska (LPNMR, 1993)

Autoepistemic Logic and Introspective Circumscription. - Michael Gelfond; Vladimir Lifschitz; Halina Przymusinska; Grigori Schwarz (TARK, 1994)

Stationary Default Extensions. - Halina Przymusinska; Teodor C. Przymusinski (Fundam. Informaticae, 1994)

Towards a Theory of Elaboration Tolerance: Logic Programming Approach. - Michael Gelfond; Halina Przymusinska (Int. J. Softw. Eng. Knowl. Eng., 1996)

Dynamic Logic Programming. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 1998)

Preliminary exploration on actions as updates. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski; Halina Przymusinska; Paulo Quaresma (APPIA-GULP-PRODE, 1999)

LUPS - A Language for Updating Logic Programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (LPNMR, 1999)

Dynamic Knowledge Representation and Its Applications. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski; Paulo Quaresma (AIMSA, 2000)

Dynamic updates of non-monotonic knowledge bases. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (J. Log. Program., 2000)

A Language for Updates with Multiple Dimensions. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 2002)

LUPSA language for updating logic programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 2002)

A Language for Multi-dimensional Updates. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (CLIMA, 2002)