| 2008 |
|---|
| 16 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Extending Knowledge Base Update into First-Order Knowledge Bases.
IEA/AIE 2008: 631-640 |
| 15 | EE | Ewa Madalinska-Bugaj,
Linh Anh Nguyen:
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.
New Challenges in Applied Intelligence Technologies 2008: 145-154 |
| 2005 |
|---|
| 14 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Belief Revision Revisited.
MICAI 2005: 31-40 |
| 2003 |
|---|
| 13 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Formalizing Defeasible Logic in CAKE.
Fundam. Inform. 57(2-4): 193-213 (2003) |
| 2001 |
|---|
| 12 | EE | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Lazy Knowledge Base Update.
IEA/AIE 2001: 61-70 |
| 2000 |
|---|
| 11 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
Fundam. Inform. 44(1-2): 95-131 (2000) |
| 1999 |
|---|
| 10 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Computing MPMA Updates Using Dijkstra's Semantics.
ISMIS 1999: 271-281 |
| 1998 |
|---|
| 9 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
KR 1998: 258-269 |
| 1997 |
|---|
| 8 | | Ewa Madalinska-Bugaj:
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages.
AI*IA 1997: 381-392 |
| 7 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Plans.
IJCAI 1997: 1215-1220 |
| 1996 |
|---|
| 6 | | Janusz Jablonowski,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.
KI 1996: 135-147 |
| 1995 |
|---|
| 5 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
IJCAI 1995: 1950-1955 |
| 4 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change: Actions with Abnormal Effects.
KI 1995: 209-220 |
| 1994 |
|---|
| 3 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Program Verification Techniques as a Tool for Reasoning about Action and Change.
KI 1994: 226-236 |
| 2 | | Barbara Dunin-Keplicz,
Janusz Jablonowski,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
CAProDel: a system for computer aided program development.
SEKE 1994: 470-477 |
| 1 | | Janusz Jablonowski,
Ewa Madalinska-Bugaj:
Procedure handling in computer aided program development.
SEKE 1994: 486-492 |
