Skip to content

Halina Przymusinska

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

8

Active years

1986–2000

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2000AIMSADynamic Knowledge Representation and Its Applications.Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
1999LPNMRLUPS - A Language for Updating Logic Programs.Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998KRDynamic Logic Programming.Jos Jlio Alferes, Joo Alexandre Leite, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1994TARKAutoepistemic Logic and Introspective Circumscription.Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz
1993LPNMRReasoning on Open Domains.Michael Gelfond, Halina Przymusinska
1992LPARSoundness and Completeness of Partial Deductions for Well-Founded Semantics.Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki
1991KRDisjective Defaults.Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
1991LPNMRDefinitions in Epistemic Specifications.Michael Gelfond, Halina Przymusinska
1988ICLPWeakly Perfect Model Semantics for Logic Programs.Halina Przymusinska, Teodor C. Przymusinski
1988ISMISMinimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski
1987ISMISOn the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases.Halina Przymusinska
1986ISMISOn the relationship between autoepistemic logic and parallel circumscription.Michael Gelfond, Halina Przymusinska
1986PODSThe Extended Closed World Assumpution and its Relationship to Parallel Circumscription.Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski