43 search results - page 3 / 9 » Extensional Reasoning |
TPHOL
2006
IEEE
14 years 8 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
CSL
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Imposing an extensional uniformity condition on a non-uniform circuit complexity class C means simply intersecting C with a uniform class L. By contrast, the usual intens...
LICS
1990
IEEE
13 years 10 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
CL
2004
Springer
13 years 6 months ago
2004
Springer
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
AIIA
1997
Springer
13 years 10 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...