Formalizing configuration knowledge using rules with choices

Timo Soininen, Ilkka Niemelä

    Research output: Book/ReportCommissioned report

    Original languageEnglish
    Place of PublicationEspoo
    PublisherHelsinki University of Technology
    Number of pages12
    ISBN (Print)951-22-4067-X
    Publication statusPublished - 1998
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTietojenkäsittelyopin laboratorio B
    PublisherTeknillinen korkeakoulu, Tietotekniikan osasto
    ISSN (Print)1239-6893


    • declarative languages
    • formal languages
    • knowledge representation
    • non-monotonic computational complexity
    • product configuration

    Cite this