5 search results - page 1 / 1 » Barendregt's Variable Convention in Rule Inductions |
ICFP
2005
ACM
14 years 11 months ago
2005
ACM
CADE
2007
Springer
14 years 11 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 5 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 5 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
14 years 16 days 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...