5 search results - page 1 / 1 » Barendregt's Variable Convention in Rule Inductions |
ICFP
2005
ACM
14 years 6 months ago
2005
ACM
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
In a previous work we have proposed a hybrid Particle Swarm Optimisation/Ant Colony Optimisation (PSO/ACO) algorithm for the discovery of classification rules, in the context of d...
IIS
2001
13 years 8 months ago
2001
: Research on a new system implementing the AQ learning methodology, called AQ20, is briefly described, and illustrated by initial results from an experimental version. Like its pr...