CLP(R) and Some Electrical Engineering Problems (1991)

Cached

Download Links

by Nevin Heintze , Spiro Michaylov , Peter Stuckey
Venue:Journal of Automated Reasoning
Citations:35 - 5 self

Documents Related by Co-Citation

384 Incremental constraint satisfaction in logic programming – Pascal Van Hentenryck - 1989
784 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
869 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
303 The CLP(R) language and system – Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland H C Yap - 1992
32 A logic programming language scheme – J Jaffar, J-L Lassez, M J Maher - 1986
634 Diagnosing multiple faults – J de Kleer, B C Williams - 1987
138 The use of design descriptions in automated diagnosis – M R Genesereth - 1984
28 Abstract Theorem Proving – Fausto Giunchiglia, Toby Walsh - 1989
438 Planning in a hierarchy of abstraction spaces – E D Sacerdoti - 1974
69 Theorem proving with abstraction – D A Plaisted - 1981
995 Consistency of networks of relations – A K Mackworth - 1977
13 Constraint Logic Programming and Option Trading – C Lassez, K McAloon, R Yap - 1987
422 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
92 Constraint logic programming languages – J Cohen - 1990
288 An introduction to prolog-III – Alain Colmerauer - 1990
6 A CLP(ℜ) option trading analysis system – T Huynh, C Lassez - 1988
201 Planning as Search: A Quantitative Approach – R E Korf - 1987
229 Diagnostic reasoning based on structure and behavior – R Davis - 1984
8 A diagnostic algorithm based on models at different level of abstraction – Massimo Gallanti, Marco Roncato, Alberto Stefanini, Giorgio Tornielli - 1989