Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, Trento, Italy, May 30-June 1,1998

Ilkka Niemelä (Editor), Torsten Schaub (Editor)

    Research output: Book/ReportAnthologyScientificpeer-review

    Original languageEnglish
    Place of PublicationEspoo
    PublisherHelsinki University of Technology
    Number of pages87
    ISBN (Print)951-22-4072-6
    Publication statusPublished - 1998
    MoE publication typeC2 Edited books

    Publication series

    NameHelsinki University of Technology, Digital Systems Laboratory. A, Research Report
    No.A52
    ISSN (Print)0783-5396

    Keywords

    • circimscription
    • default reasoning
    • diagnosis
    • implementation
    • stable models

    Cite this