The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ewa Madalinska-Bugaj: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ewa Madalinska-Bugaj
    How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1997, pp:381-392 [Conf]
  2. Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Lazy Knowledge Base Update. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2001, pp:61-70 [Conf]
  3. Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1950-1955 [Conf]
  4. Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Reasoning about Plans. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1215-1220 [Conf]
  5. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Computing MPMA Updates Using Dijkstra's Semantics. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1999, pp:271-281 [Conf]
  6. Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:135-147 [Conf]
  7. Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Program Verification Techniques as a Tool for Reasoning about Action and Change. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:226-236 [Conf]
  8. Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Reasoning about Action and Change: Actions with Abnormal Effects. [Citation Graph (0, 0)][DBLP]
    KI, 1995, pp:209-220 [Conf]
  9. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    The PMA and Relativizing Minimal Change for Action Update. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:258-269 [Conf]
  10. Ewa Madalinska-Bugaj, Witold Lukaszewicz
    Belief Revision Revisited. [Citation Graph (0, 0)][DBLP]
    MICAI, 2005, pp:31-40 [Conf]
  11. Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    CAProDel: a system for computer aided program development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:470-477 [Conf]
  12. Janusz Jablonowski, Ewa Madalinska-Bugaj
    Procedure handling in computer aided program development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:486-492 [Conf]
  13. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    The PMA and Relativizing Minimal Change for Action Update. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:44, n:1-2, pp:95-131 [Journal]
  14. Ewa Madalinska-Bugaj, Witold Lukaszewicz
    Formalizing Defeasible Logic in CAKE. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:193-213 [Journal]

  15. Extending Knowledge Base Update into First-Order Knowledge Bases. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002