TCS / Research / Publications / Formalizing Configuration Knowledge Using Rules with Choices
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Formalizing Configuration Knowledge Using Rules with Choices

Reference:

Timo Soininen and Ilkka Niemelä. Formalizing configuration knowledge using rules with choices. Technical Report TKO-B142, Helsinki University of Technology, Laboratory of Information Processing Science, 1998. Presented at the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, May 31, 1998, Trento, Italy.

Suggested BibTeX entry:

@techreport{SN98:faanmr,
    author = {Timo Soininen and Ilkka Niemel{\"a}},
    institution = {Helsinki University of Technology, Laboratory of Information Processing Science},
    note = {Presented at the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, May 31, 1998, Trento, Italy},
    number = {TKO-B142},
    title = {Formalizing Configuration Knowledge Using Rules with Choices},
    type = {Technical Report},
    year = {1998},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.