Ewa Madalinska-Bugaj

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j4		Ewa Madalinska-Bugaj, Linh Anh Nguyen: A Generalized QSQR Evaluation Method for Horn Knowledge Bases. ACM Trans. Comput. Log. 13(4): 32 (2012)
c14		Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Revising Structured Knowledge Bases. FedCSIS 2012: 81-87
	2009
j3		Ewa Madalinska-Bugaj, Witold Lukaszewicz: First-order Generalization of the MPMA Belief Update Operator. Fundam. Inform. 94(1): 49-61 (2009)
	2008
c13		Ewa Madalinska-Bugaj, Witold Lukaszewicz: Extending Knowledge Base Update into First-Order Knowledge Bases. IEA/AIE 2008: 631-640
p1		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
c12		Ewa Madalinska-Bugaj, Witold Lukaszewicz: Belief Revision Revisited. MICAI 2005: 31-40
	2003
j2		Ewa Madalinska-Bugaj, Witold Lukaszewicz: Formalizing Defeasible Logic in CAKE. Fundam. Inform. 57(2-4): 193-213 (2003)
	2001
c11		Witold Lukaszewicz, Ewa Madalinska-Bugaj: Lazy Knowledge Base Update. IEA/AIE 2001: 61-70
	2000
j1		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
c10		Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Computing MPMA Updates Using Dijkstra's Semantics. ISMIS 1999: 271-281
	1998
c9		Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. KR 1998: 258-269
	1997
c8		Ewa Madalinska-Bugaj: How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. AI*IA 1997: 381-392
c7		Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Plans. IJCAI 1997: 1215-1220
	1996
c6		Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. KI 1996: 135-147
	1995
c5		Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. IJCAI 1995: 1950-1955
c4		Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Actions with Abnormal Effects. KI 1995: 209-220
	1994
c3		Witold Lukaszewicz, Ewa Madalinska-Bugaj: Program Verification Techniques as a Tool for Reasoning about Action and Change. KI 1994: 226-236
c2		Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: CAProDel: a system for computer aided program development. SEKE 1994: 470-477
c1		Janusz Jablonowski, Ewa Madalinska-Bugaj: Procedure handling in computer aided program development. SEKE 1994: 486-492

Coauthor Index

1	Patrick Doherty	[j1] [c10] [c9]
2	Barbara Dunin-Keplicz	[c2]
3	Janusz Jablonowski	[c6] [c2] [c1]
4	Michal Korpusik	[c14]
5	Witold Lukaszewicz	[c14] [j3] [c13] [c12] [j2] [c11] [j1] [c10] [c9] [c7] [c6] [c5] [c4] [c3] [c2]
6	Linh Anh Nguyen	[j4] [p1]

Last update Wed May 22 02:49:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page