Ewa Madalinska-Bugaj

Publication Activity (10 Years)

Years Active: 1994-2015
Publications (10 Years): 0

Top Topics

Merging Operators

Structured Knowledge

Propositional Logic

Top Venues

Fundam. Informaticae

ACM Trans. Comput. Log.

Publications

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