Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,192,732 papers from all fields of science
Search
Sign In
Create Free Account
Admissible numbering
Known as:
Programming system
, Rogers equivalence theorem
, Acceptable numbering
Expand
In computability theory, the admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Broader (2)
Computability theory
Theory of computation
Friedberg numbering
Kleene's T predicate
Kleene's recursion theorem
Numbering (computability theory)
Expand
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
Dejan Pangercic
,
Moritz Tenorth
,
Dominik Jain
,
M. Beetz
IEEE/RSJ International Conference on Intelligent…
2010
Corpus ID: 13016175
This paper describes and discusses the K-COPMAN (Knowledge-enabled Cognitive Perception for Manipulation) system, which enables…
Expand
2004
2004
Classical Mechanics Is not the ħ, → 0 Limit of Quantum Mechanics
O. Man'ko
,
V. Man'ko
2004
Corpus ID: 2176428
Both the set of quantum states and the set of classical states described by symplectic tomographic probability distributions…
Expand
Highly Cited
2002
Highly Cited
2002
The interactive autonomous mobile system RoboX
B. Jensen
,
G. Froidevaux
,
+5 authors
R. Siegwart
IEEE/RSJ International Conference on Intelligent…
2002
Corpus ID: 27512024
In this paper we present an autonomous mobile robot system allowing for complex collaborative interaction with non-experienced…
Expand
1999
1999
Shorter Fitness Preserving Genetic Programs
Anikó Ekárt
Artificial Evolution
1999
Corpus ID: 38510433
In the paper a method that moderates code growth in genetic programming is presented. The addressed problem is symbolic…
Expand
Review
1996
Review
1996
Japanese Sentence Processing
R. Mazuka
,
N. Nagai
1996
Corpus ID: 62804762
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor…
Expand
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
M. Stefik
,
D. Bobrow
,
S. Mittal
,
L. Conway
The AI Magazine
1989
Corpus ID: 2712977
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they…
Expand
Highly Cited
1986
Highly Cited
1986
Robotic assembly by constraints
G. Morris
,
L. 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…
Expand
1976
1976
Implementation of the AEP real-time monitoring system
J. Dopazo
,
S. Ehrmann
,
O. A. Klitin
,
A. Sasson
,
L.S. Van Slyck
IEEE Transactions on Power Apparatus and Systems
1976
Corpus ID: 38864341
During the final implementation of the AEP real-time monitoring system a considerable theoretical and practical experience was…
Expand
Highly Cited
1974
Highly Cited
1974
AL, a programming system for automation.
R. Finkel
,
R. Taylor
,
R. Bolles
,
R. Paul
,
J. Feldman
1974
Corpus ID: 58790015
AL is a high-level programming system for specification of manipulatory tasks such as assembly of an object from parts. AL…
Expand
Highly Cited
1974
Highly Cited
1974
Decision Theory and Artificial Intelligence: I. A Semantics-Based Region Analyzer
J. Feldman
,
Y. Yakimovsky
Artificial Intelligence
1974
Corpus ID: 39119295
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)
ACCEPT & CONTINUE