| 2012 | FedCSIS | Revising Structured Knowledge Bases. | Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1999 | ISMIS | Computing MPMA Updates Using Dijkstra's Semantics. | Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1998 | KR | The PMA and Relativizing Minimal Change for Action Update. | Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1997 | IJCAI | Reasoning about Plans. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1996 | KI | Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. | Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1995 | IJCAI | Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1995 | KI | Reasoning about Action and Change: Actions with Abnormal Effects. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | KI | Program Verification Techniques as a Tool for Reasoning about Action and Change. | Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | SEKE | CAProDel: a system for computer aided program development. | Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | SEKE | Procedure handling in computer aided program development. | Janusz Jablonowski, Ewa Madalinska-Bugaj |