Halina Przymusinska

According to our database, Halina Przymusinska authored at least 24 papers between 1986 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

A Language for Multi-dimensional Updates.

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the Computational Logic in Multi-Agent Systems, 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 Updates with Multiple Dimensions.

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

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

Dynamic Knowledge Representation and Its Applications.

José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

LUPS - A Language for Updating Logic Programs.

José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Preliminary exploration on actions as updates.

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Dynamic Logic Programming.

José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

Towards a Theory of Elaboration Tolerance: Logic Programming Approach.

Michael Gelfond, Halina Przymusinska

Int. J. Softw. Eng. Knowl. Eng., 1996

1994

Stationary Default Extensions.

Halina Przymusinska, Teodor C. Przymusinski

Fundam. Informaticae, 1994

Autoepistemic Logic and Introspective Circumscription.

Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

1993

Reasoning on Open Domains.

Michael Gelfond, Halina Przymusinska

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

On consistency and completeness of autoepistemic theories.

Michael Gelfond, Halina Przymusinska

Fundam. Informaticae, 1992

Soundness and Completeness of Partial Deductions for Well-Founded Semantics.

Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Definitions in Epistemic Specifications.

Michael Gelfond, Halina Przymusinska

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Disjective Defaults.

Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1990

On the relationship between CWA, minimal model, and minimal herbrand model semantics.

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski

Int. J. Intell. Syst., 1990

1989

On the Relationship Between Circumscription and Negation as Failure.

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski

Artif. Intell., 1989

1988

Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the Methodologies for Intelligent Systems, 1988

Weakly Perfect Model Semantics for Logic Programs.

Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the Logic Programming, 1988

1987

On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases.

Halina Przymusinska

Proceedings of the Methodologies for Intelligent Systems, 1987

1986

Negation as Failure: Careful Closure Procedure.

Michael Gelfond, Halina Przymusinska

Artif. Intell., 1986

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription.

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

On the relationship between autoepistemic logic and parallel circumscription.

Michael Gelfond, Halina Przymusinska

Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, 1986