The Smodels System

Tommi Syrjänen, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    85 Citations (Scopus)
    Original languageEnglish
    Title of host publication6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), Vienna, Austria, September 17-19, 2001
    EditorsT. Eiter, W. Faber, M. Truszczynski
    Place of PublicationBerlin
    PublisherSpringer
    Pages434-438
    Number of pages5
    ISBN (Electronic)978-3-540-45402-1
    ISBN (Print)978-3-540-42593-9
    DOIs
    Publication statusPublished - 2001
    MoE publication typeA4 Conference publication

    Publication series

    NameLecture Notes in Computer Science
    Volume 2173 LNAI
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • answer set programming
    • logic programming
    • stable models

    Cite this