Halina Przymusinska

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