Formalizing configuration knowledge using rules with choices

Timo Soininen; Ilkka Niemelä

Formalizing configuration knowledge using rules with choices

Research output: Book/Report › Commissioned report

Original language	English
Place of Publication	Espoo
Publisher	Helsinki University of Technology
Number of pages	12
ISBN (Print)	951-22-4067-X
Publication status	Published - 1998
MoE publication type	D4 Published development or research report or study

Publication series

Name	Tietojenkäsittelyopin laboratorio B
Publisher	Teknillinen korkeakoulu, Tietotekniikan osasto
No.	TKO-B142
ISSN (Print)	1239-6893

Keywords

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

OpenUrl availability

Full text

Cite this

@book{c568752d6f7e426c9d42f5b0075a9b64,

title = "Formalizing configuration knowledge using rules with choices",

keywords = "declarative languages, formal languages, knowledge representation, non-monotonic computational complexity, product configuration, declarative languages, formal languages, knowledge representation, non-monotonic computational complexity, product configuration, declarative languages, formal languages, knowledge representation, non-monotonic computational complexity, product configuration",

author = "Timo Soininen and Ilkka Niemel{\"a}",

year = "1998",

language = "English",

isbn = "951-22-4067-X",

series = "Tietojenk{\"a}sittelyopin laboratorio B",

publisher = "Helsinki University of Technology",

number = "TKO-B142",

address = "Finland",

}

TY - BOOK

T1 - Formalizing configuration knowledge using rules with choices

AU - Soininen, Timo

AU - Niemelä, Ilkka

PY - 1998

Y1 - 1998

KW - declarative languages

KW - formal languages

KW - knowledge representation

KW - non-monotonic computational complexity

KW - product configuration

KW - declarative languages

KW - formal languages

KW - knowledge representation

KW - non-monotonic computational complexity

KW - product configuration

KW - declarative languages

KW - formal languages

KW - knowledge representation

KW - non-monotonic computational complexity

KW - product configuration

M3 - Commissioned report

SN - 951-22-4067-X

T3 - Tietojenkäsittelyopin laboratorio B

BT - Formalizing configuration knowledge using rules with choices

PB - Helsinki University of Technology

CY - Espoo

ER -