Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Jürgen Dix, Ulrich Furbach, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    Original languageEnglish
    Title of host publicationHandbook of Automated Reasoning
    EditorsA. Robinson, A. Voronkov
    Place of PublicationAmsterdam
    PublisherElsevier Science
    Pages1241-1354
    VolumeVolume II
    ISBN (Electronic)9780080532790
    DOIs
    Publication statusPublished - 2001
    MoE publication typeA3 Part of a book or another research book

    Keywords

    • automated reasoning
    • logic programming
    • nonmonotonic logic

    Cite this