1991 | OriginalPaper | Buchkapitel
PTTP and Linked Inference
verfasst von : Mark E. Stickel
Erschienen in: Automated Reasoning
Verlag: Springer Netherlands
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper reports on a combination of two research efforts, the Prolog Technology Theorem Prover (PTTP), and theory resolution in the guise of linked inference. Both received a great deal of encouragement and support over the years from Woody Bledsoe, by personal discussions and by his inviting me to discuss these topics with his students and colleagues at the University of Texas and MCC. He also invited me to cochair with him an AAAI workshop on the encompassing topic of high-performance theorem proving at Stanford in 1989.