Program Verification Techniques as a Tool for Reasoning about Action and Change. - Witold Lukaszewicz; Ewa Madalinska-Bugaj (KI, 1994)

CAProDel: a system for computer aided program development. - Barbara Dunin-Keplicz; Janusz Jablonowski; Witold Lukaszewicz; Ewa Madalinska-Bugaj (SEKE, 1994)

Procedure handling in computer aided program development. - Janusz Jablonowski; Ewa Madalinska-Bugaj (SEKE, 1994)

Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. - Witold Lukaszewicz; Ewa Madalinska-Bugaj (IJCAI, 1995)

Reasoning about Action and Change: Actions with Abnormal Effects. - Witold Lukaszewicz; Ewa Madalinska-Bugaj (KI, 1995)

Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. - Janusz Jablonowski; Witold Lukaszewicz; Ewa Madalinska-Bugaj (KI, 1996)

How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. - Ewa Madalinska-Bugaj (AI*IA, 1997)

Reasoning about Plans. - Witold Lukaszewicz; Ewa Madalinska-Bugaj (IJCAI, 1997)

Computing MPMA Updates Using Dijkstra's Semantics. - Patrick Doherty 001; Witold Lukaszewicz; Ewa Madalinska-Bugaj (ISMIS, 1999)

The PMA and Relativizing Minimal Change for Action Update. - Patrick Doherty 001; Witold Lukaszewicz; Ewa Madalinska-Bugaj (Fundam. Informaticae, 2000)

Lazy Knowledge Base Update. - Witold Lukaszewicz; Ewa Madalinska-Bugaj (IEA/AIE, 2001)

Formalizing Defeasible Logic in CAKE. - Ewa Madalinska-Bugaj; Witold Lukaszewicz (Fundam. Informaticae, 2003)

Belief Revision Revisited. - Ewa Madalinska-Bugaj; Witold Lukaszewicz (MICAI, 2005)

Extending Knowledge Base Update into First-Order Knowledge Bases. - Ewa Madalinska-Bugaj; Witold Lukaszewicz (IEA/AIE, 2008)

Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. - Ewa Madalinska-Bugaj; Linh Anh Nguyen (New Challenges in Applied Intelligence Technologies, 2008)

First-order Generalization of the MPMA Belief Update Operator. - Ewa Madalinska-Bugaj; Witold Lukaszewicz (Fundam. Informaticae, 2009)

Revising Structured Knowledge Bases. - Michal Korpusik; Witold Lukaszewicz; Ewa Madalinska-Bugaj (FedCSIS, 2012)

A Generalized QSQR Evaluation Method for Horn Knowledge Bases. - Ewa Madalinska-Bugaj; Linh Anh Nguyen (ACM Trans. Comput. Log., 2012)

Consistency-based Revision of Structured Belief Bases. - Michal Korpusik; Witold Lukaszewicz; Ewa Madalinska-Bugaj (Fundam. Informaticae, 2015)