Developing a Declarative Rule Language for Applications in Product Configuration
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 305-319
- https://doi.org/10.1007/3-540-49201-1_21
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Fully local and efficient evaluation of alternating fixed pointsPublished by Springer Nature ,1998
- Encoding planning problems in nonmonotonic logic programsPublished by Springer Nature ,1997
- Smodels — an implementation of the stable model and well-founded semantics for normal logic programsPublished by Springer Nature ,1997
- State-of-the-practice in product configuration — a survey of 10 cases in the Finnish industryPublished by Springer Nature ,1996
- On the computational cost of disjunctive logic programming: Propositional caseAnnals of Mathematics and Artificial Intelligence, 1995
- An alternative approach to the semantics of disjunctive logic programs and deductive databasesJournal of Automated Reasoning, 1994
- Logic-based configuration with a semantic networkThe Journal of Logic Programming, 1990
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- R1: A rule-based configurer of computer systemsArtificial Intelligence, 1982