AMPHION: automatic programming for subroutine libraries

AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the application of AMPHION to the domain of solar system kinematics as implemented in the SPICEL...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lowry, M., Philpot, A., Pressburger, T., Underwood, I.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Aircraft navigation Algorithms Application software Automatic programming Information analysis Kinematics Laboratories Propulsion Software libraries Solar system
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!