Skip to search formSkip to main contentSkip to account menu

Admissible numbering

Known as: Programming system, Rogers equivalence theorem, Acceptable numbering 
In computability theory, the admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
This paper describes and discusses the K-COPMAN (Knowledge-enabled Cognitive Perception for Manipulation) system, which enables… 
2004
2004
Both the set of quantum states and the set of classical states described by symplectic tomographic probability distributions… 
Highly Cited
2002
Highly Cited
2002
In this paper we present an autonomous mobile robot system allowing for complex collaborative interaction with non-experienced… 
1999
1999
In the paper a method that moderates code growth in genetic programming is presented. The addressed problem is symbolic… 
Review
1996
Review
1996
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor… 
Review
1989
Review
1989
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they… 
Highly Cited
1986
Highly Cited
1986
  • G. MorrisL. Haynes
  • 1986
  • Corpus ID: 38183754
Off-line programming of robots will become increasingly more important. This paper describes a robot programming system which is… 
1976
1976
During the final implementation of the AEP real-time monitoring system a considerable theoretical and practical experience was… 
Highly Cited
1974
Highly Cited
1974
AL is a high-level programming system for specification of manipulatory tasks such as assembly of an object from parts. AL…