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)

Related topics

Related topics

7 relations

Broader (2)

Computability theoryTheory of computation
Friedberg numberingKleene's T predicateKleene's recursion theoremNumbering (computability theory)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Combining perception and knowledge processing for everyday manipulation
This paper describes and discusses the K-COPMAN (Knowledge-enabled Cognitive Perception for Manipulation) system, which enables… 
2004
2004
Classical Mechanics Is not the ħ, → 0 Limit of Quantum Mechanics
Both the set of quantum states and the set of classical states described by symplectic tomographic probability distributions… 
Highly Cited
2002
Highly Cited
2002
The interactive autonomous mobile system RoboX
In this paper we present an autonomous mobile robot system allowing for complex collaborative interaction with non-experienced… 
1999
1999
Shorter Fitness Preserving Genetic Programs
In the paper a method that moderates code growth in genetic programming is presented. The addressed problem is symbolic… 
Review
1996
Review
1996
Japanese Sentence Processing
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor… 
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
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
Robotic assembly by constraints
  • G. MorrisL. Haynes
  • Proceedings. IEEE International Conference on…
  • 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
Implementation of the AEP real-time monitoring system
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, a programming system for automation.
AL is a high-level programming system for specification of manipulatory tasks such as assembly of an object from parts. AL… 
Highly Cited
1974
Highly Cited
1974
Decision Theory and Artificial Intelligence: I. A Semantics-Based Region Analyzer
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)