Halina Przymusinska

Publication Activity (10 Years)

Years Active: 1986-2002
Publications (10 Years): 0

Publications

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Multi-dimensional Updates. CLIMA (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Multi-dimensional Updates. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
LUPSA language for updating logic programs. Artif. Intell. 138 (1-2) (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE (2002)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
Dynamic Knowledge Representation and Its Applications. AIMSA (2000)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45 (1-3) (2000)
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
LUPS - A Language for Updating Logic Programs. LPNMR (1999)
José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma
Preliminary exploration on actions as updates. APPIA-GULP-PRODE (1999)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. APPIA-GULP-PRODE (1998)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. KR (1998)
Michael Gelfond, Halina Przymusinska
Towards a Theory of Elaboration Tolerance: Logic Programming Approach. Int. J. Softw. Eng. Knowl. Eng. 6 (1) (1996)
Halina Przymusinska, Teodor C. Przymusinski
Stationary Default Extensions. Fundam. Informaticae 21 (1/2) (1994)
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
Autoepistemic Logic and Introspective Circumscription. TARK (1994)
Michael Gelfond, Halina Przymusinska
Reasoning on Open Domains. LPNMR (1993)
Michael Gelfond, Halina Przymusinska
On consistency and completeness of autoepistemic theories. Fundam. Informaticae 16 (1) (1992)
Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki
Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR (1992)
Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
Disjective Defaults. KR (1991)
Michael Gelfond, Halina Przymusinska
Definitions in Epistemic Specifications. LPNMR (1991)
Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
On the relationship between CWA, minimal model, and minimal herbrand model semantics. Int. J. Intell. Syst. 5 (5) (1990)
Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38 (1) (1989)
Halina Przymusinska, Teodor C. Przymusinski
Weakly Perfect Model Semantics for Logic Programs. ICLP/SLP (1988)
Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. ISMIS (1988)
Halina Przymusinska
On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases. ISMIS (1987)
Michael Gelfond, Halina Przymusinska
On the relationship between autoepistemic logic and parallel circumscription. ISMIS (1986)
Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS (1986)
Michael Gelfond, Halina Przymusinska
Negation as Failure: Careful Closure Procedure. Artif. Intell. 30 (3) (1986)