dblp.uni-trier.dewww.uni-trier.de

Ewa Madalinska-Bugaj Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EEEwa Madalinska-Bugaj, Witold Lukaszewicz: First-order Generalization of the MPMA Belief Update Operator. Fundam. Inform. 94(1): 49-61 (2009)
2008
16EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Extending Knowledge Base Update into First-Order Knowledge Bases. IEA/AIE 2008: 631-640
15EEEwa Madalinska-Bugaj, Linh Anh Nguyen: Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. New Challenges in Applied Intelligence Technologies 2008: 145-154
2005
14EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Belief Revision Revisited. MICAI 2005: 31-40
2003
13EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Formalizing Defeasible Logic in CAKE. Fundam. Inform. 57(2-4): 193-213 (2003)
2001
12EEWitold 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
10EEPatrick 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

Coauthor Index

1Patrick Doherty [9] [10] [11]
2Barbara Dunin-Keplicz [2]
3Janusz Jablonowski [1] [2] [6]
4Witold Lukaszewicz [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17]
5Linh Anh Nguyen [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)