Timo Soininen, Ilkka Niemelä  Home/Search
Context Related
| saturn.hut.fi/pub/ini/padl99F.ps.gz saturn.tcs.hut.fi/~ini/...padl99F.ps.gz tcs.hut.fi/~ini/papers/padl99F.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tcs.hut.fi/pub/ini/.inipapers (more) Homepages: I.Niemela |
Rate this article:      (best)Comment on this article |
Abstract: A rule-based language is proposed for product configuration applications. It is equipped with a declarative semantics providing formal definitions for main concepts in product configuration, including configuration models, requirements and valid configurations. The semantics uses Horn clause derivability to guarantee that each element in a configuration has a justification. This leads to favorable computational properties. For example, the validity of a configuration can be decided in linear... (Update)
Cited by: More
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
CR-Prolog : CR-Prolog with Ordered Disjunction Marcello .. - Computer Science.. (Correct)
Similar documents (at the sentence level):
6.5%: Formalizing Configuration Knowledge Using Rules with Choices - Soininen, Niemelä (1998) (Correct)
Active bibliography (related documents): More All
1.0: Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998) (Correct)
0.6: Exploring the Behaviour of Feature Interaction via Stable Models - Accorsi (1999) (Correct)
0.5: Representing Configuration Knowledge with Weight Constraint.. - Soininen, Niemelä (2001) (Correct)
Similar documents based on text: More All
0.9: The Smodels System - Syrjänen, Niemelä (2001) (Correct)
0.7: Stable Model Semantics of Weight Constraint Rules - Niemelä, Simons, Soininen (1999) (Correct)
0.6: Including Diagnostic Information in Configuration Models - Syrjänen (2000) (Correct)
Related documents from co-citation: More All
25: The Stable Model Semantics for Logic Programming - Gelfond - 1988
15: Stable models and an alternative logic programming paradigm - Marek, Truszczy - 1999
12: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
BibTeX entry: (Update)
T. Soininen and I. Niemela. Developing a declarative rule language for applications in product conguration. In Practical Aspects of Declarative Languages (PADL99), LNCS 1551. Springer-Verlag, 1999. http://citeseer.ist.psu.edu/soininen99developing.html More
@inproceedings{ soininen99developing,
author = "Timo Soininen and Ilkka Niemel{\"a}",
title = "Developing a Declarative Rule Language for Applications in Product Configuration",
booktitle = "PADL'99",
series = "Lecture Notes in Computer Science",
volume = "1551",
pages = "305--319",
year = "1999",
url = "citeseer.ist.psu.edu/soininen99developing.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
104 Dynamic constraint satisfaction problems (context) - Mittal, Falkenhainer
82 Semantics of logic programs: Their intuitions and formal pro.. - Dix - 1995
69 the computational cost of disjunctive logic programming: Pro.. - Eiter, Gottlob - 1995
41 An alternative approach to the semantics of disjunctive logi.. (context) - Sakama, Inoue - 1994
32 Linear-time algorithms for testing the satisability of propo.. (context) - Dowling, Gallier - 1984
24 Towards constraint satisfaction through logic programs and t.. - Simons - 1997
17 an implementation of the stable model and well-founded seman.. (context) - Niemel, Simons - 1997
8 Encoding planning problems in nonmonotonic logic programs (context) - Dimopoulos, Nebel et al. - 1997
4 cient implementation of the well-founded and stable model se.. (context) - Niemel, Simons - 1996
2 Fully local and eÆcient evaluation of alternating xed points (context) - Liu, Ramakrishnan et al. - 1998
2 a rule-based congurer of computer systems (context) - McDermott - 1982
2 A tool for developing interactive conguration applications - Axling, Haridi - 1994
2 Formalizing conguration knowledge using rules with choices - Soininen, Niemel - 1998
1 A logic-based description of conguration: the constructive p.. (context) - Klein - 1996
1 Logic-based conguration with a semantic network (context) - Searls, Norton - 1990
1 State-of-the-practice in product conguration|a survey of 10 .. (context) - Tiihonen, Soininen et al. - 1996
1 An integrated approach for modelling complex conguration dom.. (context) - Haselb, Stumptner - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tcs.hut.fi/pub/ini/.ini-papers.html): More
Autoepistemic Logic as a Basis for Automating Nonmonotonic.. - Niemelä (1995) (Correct)
A Decision Method for Nonmonotonic Reasoning Based on.. - Niemelä (1994) (Correct)
Towards Efficient Default Reasoning - Niemelä (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC