Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning

Reference:

Ilkka Niemelä and Torsten Schaub (Eds.). Proceedings of the workshop on computational aspects of nonmonotonic reasoning. Research Report A52, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1998.

Abstract:

This is the proceedings of a workshop on computational aspects of nonmonotonic reasoning which was organized as one of the five special workshops at the Seventh International Workshop on Nonmonotonic Reasoning held in Trento, Italy, May 30–June 1, 1998 in conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). The program of the workshop consisted of 10 papers accepted for presentation, a panel and system demonstrations.

Keywords:

nonmonotonic reasoning, default logic, circumscription, logic programs, abduction, diagnosis

Suggested BibTeX entry:

@techreport{HUT-TCS-A52,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Torsten Schaub (Eds.)},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {May},
    number = {A52},
    pages = {46},
    title = {Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning},
    type = {Research Report},
    year = {1998},
}