| 2012 | FedCSIS | Revising Structured Knowledge Bases. | Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 2004 | KR | Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. | Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz |
| 2003 | KI | Tolerance Spaces and Approximative Representational Structures. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2002 | ECAI | CAKE: A Computer-Aided Knowledge Engineering Technique. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2001 | IJCAI | Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2000 | AIMSA | Efficient Reasoning Using the Local Closed-World Assumption. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 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 | ISMIS | Explaining Explanation Closure. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 1996 | KI | Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. | Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1995 | IJCAI | Computing Circumscription Revisited: Preliminary Report. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 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 | ISMIS | Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. | Patrick Doherty, Witold Lukaszewicz |
| 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 |
| 1992 | ECAI | FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. | Patrick Doherty, Witold Lukaszewicz |
| 1988 | ECAI | Chronological Minimization of Abnormality: Simple Theories of Action. | Witold Lukaszewicz |
| 1986 | COLING | Towards Discourse-Oriented Nonmonotonic System. | Barbara Dunin-Keplicz, Witold Lukaszewicz |
| 1986 | ECAI | Minimization of Abnormality: A Simple System for Default Reasoning. | Witold Lukaszewicz |
| 1985 | IJCAI | Two Results on Default Logic. | Witold Lukaszewicz |
| 1984 | ECAI | Nonmonotonic Logic for Default Theories. | Witold Lukaszewicz |
| 1983 | IJCAI | General Approach to Nonmonotonic Logics. | Witold Lukaszewicz |