Sciweavers

5506 search results - page 231 / 1102
» Minimal Logic Programs
Sort
View
ESANN
1997
15 years 5 months ago
Extraction of crisp logical rules using constrained backpropagation networks
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
Wlodzislaw Duch, Rafal Adamczak, Krzysztof Grabcze...
TACS
1994
Springer
15 years 8 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller
JMLR
2006
100views more  JMLR 2006»
15 years 4 months ago
Learning Recursive Control Programs from Problem Solving
In this paper, we propose a new representation for physical control
Pat Langley, Dongkyu Choi
PPDP
2004
Springer
15 years 9 months ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
IPPS
1999
IEEE
15 years 8 months ago
Compiler Analysis to Support Compiled Communication for HPF-Like Programs
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
Xin Yuan, Rajiv Gupta, Rami G. Melhem