| ||
1. | First-order Generalization of the MPMA Belief Update Operator
FUNDAMENTA INFORMATICAE Tom 94 Nr 1 r. 2009, str. 49-61 (Artykuł) Ewa Madalińska-Bugaj, Witold Łukaszewicz | |
2. | Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
INTERNATIONAL JOINT CONFERENCE ON ARTIFFICIAL INTELIGENCE r. 2001, str. 145-151 (Artykuł) P. Doherty, Witold Łukaszewicz, Andrzej Szałas | |
3. | Lazy knowledge base update
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Nr 2070 r. 2001, str. 61-70 (Artykuł) Ewa Madalińska-Bugaj, Witold Łukaszewicz | |
4. | Efficient reasoning using the local closed-world assumption
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 1904 r. 2000, str. 49-58 (Artykuł) Witold Łukaszewicz, Andrzej Szałas, P. Dohery | |
5. | The PMA and relativizing minimal change for action update,
FUNDAMENTA INFORMATICAE Tom 44 r. 2000, str. 95-131 (Artykuł) Witold Łukaszewicz, Ewa Madalińska-Bugaj, P Doherty | |
| ||
6. | Knowledge Representation Techniques: Rough Set Approach
Springer, r. 2006 (Książka) Patrick Doherty, Witold Łukaszewicz, Andrzej Skowron, Andrzej Szałas | |
| ||
7. | Extending Knowledge Base Update into First-Order Knowledge Bases
w: IEA/AIE, str. 631-640, r. 2008 (Artykuł konferencyjny) Ewa Madalińska-Bugaj, Witold Łukaszewicz | |
8. | Belief Revision Revisited
w: Proceedings of 4th Mexican International Conference on Artificial Intelligence, str. 31-40, r. 2005 (Artykuł konferencyjny) Ewa Madalińska-Bugaj, Witold Łukaszewicz |