Answer Set Programming and Bounded Model Checking

Keijo Heljanko, Ilkka Niemelä

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

    Original languageEnglish
    Title of host publicationAAAI Spring 2001 Symposium on Answer Set Programming, Stanford CA, USA, 26.-28.3.2001
    Subtitle of host publicationTowards Efficient and Scalable Knowledge Representation and Reasoning
    Place of PublicationMenlo Park CA, USA
    PublisherAAAI PRESS
    Pages90-96
    Publication statusPublished - 2001
    MoE publication typeA4 Article in a conference publication

    Keywords

    • logic programs
    • Petri nets
    • stable models
    • symbolic model checking

    Cite this