Ewa Madalinska-Bugaj

According to our database, Ewa Madalinska-Bugaj authored at least 19 papers between 1994 and 2015.

Collaborative distances:

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

2015

Consistency-based Revision of Structured Belief Bases.

Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Fundam. Informaticae, 2015

2012

A Generalized QSQR Evaluation Method for Horn Knowledge Bases.

Ewa Madalinska-Bugaj, Linh Anh Nguyen

ACM Trans. Comput. Log., 2012

Revising Structured Knowledge Bases.

Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2009

First-order Generalization of the MPMA Belief Update Operator.

Ewa Madalinska-Bugaj, Witold Lukaszewicz

Fundam. Informaticae, 2009

2008

Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.

Ewa Madalinska-Bugaj, Linh Anh Nguyen

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Extending Knowledge Base Update into First-Order Knowledge Bases.

Ewa Madalinska-Bugaj, Witold Lukaszewicz

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2005

Belief Revision Revisited.

Ewa Madalinska-Bugaj, Witold Lukaszewicz

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

2003

Formalizing Defeasible Logic in CAKE.

Ewa Madalinska-Bugaj, Witold Lukaszewicz

Fundam. Informaticae, 2003

2001

Lazy Knowledge Base Update.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the Engineering of Intelligent Systems, 2001

2000

The PMA and Relativizing Minimal Change for Action Update.

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Fundam. Informaticae, 2000

1999

Computing MPMA Updates Using Dijkstra's Semantics.

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1997

Reasoning about Plans.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages.

Ewa Madalinska-Bugaj

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996

Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.

Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1995

Reasoning about Action and Change: Actions with Abnormal Effects.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Procedure handling in computer aided program development.

Janusz Jablonowski, Ewa Madalinska-Bugaj

Proceedings of the SEKE'94, 1994

CAProDel: a system for computer aided program development.

Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the SEKE'94, 1994

Program Verification Techniques as a Tool for Reasoning about Action and Change.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994