Representing Configuration Knowledge With Weight Constraint Rules

Timo Soininen; Ilkka Niemelä; Juha Tiihonen; Reijo Sulonen

Representing Configuration Knowledge With Weight Constraint Rules

Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen

Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	The 2001 AAA1 Spring Symposium on Answer Set Programming, Stanford, USA, March 2001
Subtitle of host publication	Towards Efficient and Scalable Knowledge Representation and Reasoning
Publisher	AAAI Press
Pages	195-201
Publication status	Published - 2001
MoE publication type	A4 Conference publication

Keywords

answer set programming
knowledge representation
non-monotonic reasoning
product configuration

Cite this

@inproceedings{15fb9b61660d47d8897ac5b7ca222ecc,

title = "Representing Configuration Knowledge With Weight Constraint Rules",

keywords = "answer set programming, knowledge representation, non-monotonic reasoning, product configuration, answer set programming, knowledge representation, non-monotonic reasoning, product configuration, answer set programming, knowledge representation, non-monotonic reasoning, product configuration",

author = "Timo Soininen and Ilkka Niemel{\"a} and Juha Tiihonen and Reijo Sulonen",

year = "2001",

language = "English",

pages = "195--201",

booktitle = "The 2001 AAA1 Spring Symposium on Answer Set Programming, Stanford, USA, March 2001",

publisher = "AAAI Press",

address = "United States",

}

Representing Configuration Knowledge With Weight Constraint Rules. / Soininen, Timo; Niemelä, Ilkka; Tiihonen, Juha et al.
The 2001 AAA1 Spring Symposium on Answer Set Programming, Stanford, USA, March 2001: Towards Efficient and Scalable Knowledge Representation and Reasoning. AAAI Press, 2001. p. 195-201.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Representing Configuration Knowledge With Weight Constraint Rules

AU - Soininen, Timo

AU - Niemelä, Ilkka

AU - Tiihonen, Juha

AU - Sulonen, Reijo

PY - 2001

Y1 - 2001

KW - answer set programming

KW - knowledge representation

KW - non-monotonic reasoning

KW - product configuration

KW - answer set programming

KW - knowledge representation

KW - non-monotonic reasoning

KW - product configuration

KW - answer set programming

KW - knowledge representation

KW - non-monotonic reasoning

KW - product configuration

M3 - Conference article in proceedings

SP - 195

EP - 201

BT - The 2001 AAA1 Spring Symposium on Answer Set Programming, Stanford, USA, March 2001

PB - AAAI Press

ER -