234 search results - page 8 / 47 » Deduction, Strategies, and Rewriting |
PPAM
2001
Springer
14 years 2 hour ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
ICML
1998
IEEE
14 years 8 months ago
1998
IEEE
Genetic Programming (GP) is a machine learning technique that was not conceived to use domain knowledge for generating new candidate solutions. It has been shown that GP can bene ...
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
DSL
2009
13 years 5 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
AAAI
1990
13 years 8 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...