Ewa Madalinska-Bugaj

20 papers A* 2C 6Misc 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2015 J jnl
Consistency-based Revision of Structured Belief Bases.
Fundam. Informaticae
Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj
2012 J jnl
A Generalized QSQR Evaluation Method for Horn Knowledge Bases.
ACM Trans. Comput. Log.
Ewa Madalinska-Bugaj, Linh Anh Nguyen
2012 C conf
Revising Structured Knowledge Bases.
FedCSIS
Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj
2009 J jnl
First-order Generalization of the MPMA Belief Update Operator.
Fundam. Informaticae
Ewa Madalinska-Bugaj, Witold Lukaszewicz
2008 C conf
Extending Knowledge Base Update into First-Order Knowledge Bases.
IEA/AIE
Ewa Madalinska-Bugaj, Witold Lukaszewicz
2008 — ch.
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.
New Challenges in Applied Intelligence Technologies
Ewa Madalinska-Bugaj, Linh Anh Nguyen
2005 — conf
Belief Revision Revisited.
MICAI
Ewa Madalinska-Bugaj, Witold Lukaszewicz
2003 J jnl
Formalizing Defeasible Logic in CAKE.
Fundam. Informaticae
Ewa Madalinska-Bugaj, Witold Lukaszewicz
2001 C conf
Lazy Knowledge Base Update.
IEA/AIE
Witold Lukaszewicz, Ewa Madalinska-Bugaj
2000 J jnl
The PMA and Relativizing Minimal Change for Action Update.
Fundam. Informaticae
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1999 C conf
Computing MPMA Updates Using Dijkstra's Semantics.
ISMIS
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1998 A* conf
The PMA and Relativizing Minimal Change for Action Update.
KR
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1997 — conf
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages.
AI*IA
Ewa Madalinska-Bugaj
1997 — conf
Reasoning about Plans.
IJCAI
Witold Lukaszewicz, Ewa Madalinska-Bugaj
1996 Misc conf
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.
KI
Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1995 A* conf
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
IJCAI
Witold Lukaszewicz, Ewa Madalinska-Bugaj
1995 Misc conf
Reasoning about Action and Change: Actions with Abnormal Effects.
KI
Witold Lukaszewicz, Ewa Madalinska-Bugaj
1994 C conf
CAProDel: a system for computer aided program development.
SEKE
Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1994 C conf
Procedure handling in computer aided program development.
SEKE
Janusz Jablonowski, Ewa Madalinska-Bugaj
1994 Misc conf
Program Verification Techniques as a Tool for Reasoning about Action and Change.
KI
Witold Lukaszewicz, Ewa Madalinska-Bugaj