C. L. Talcott and Weyhrauch R. W. Towards a theory of mechanized reasoning i: Fol contexts, an extensional view. In European Conference on Artificial Intelligence, 1990.  Home/Search   Document Not in Database   Summary   Related Articles

.... gave rise to the branch of computer science known as Mathematical Theory of Computation, and led to such systems as LCF, first developed at Stanford [47, 49, 2] and its descendants such as Isabelle [56] and HOL [26] Additional systems developed by the Stanford formal reasoning group include FOL [65, 66, 63] and EKL [36, 38] Giunchiglia established the mechanized reasoning group at IRST (Trento, Italy) in 1988, after working with the FOL project at Stanford. The work of this group has focused on providing foundations for the implementation of mechanized reasoning systems. It has resulted in a ....

....the FOL project at Stanford. The work of this group has focused on providing foundations for the implementation of mechanized reasoning systems. It has resulted in a complete re implementation of the FOL system [25] and in the development of GETFOL, an extension of FOL. 3.1. The FOL system FOL [65, 66, 63] was designed to test some ideas about how to build thinking individuals by mechanizing the activity of reasoning and by providing data structures powerful enough to represent both general information and information about reasoning itself. Many substantial experiments have been carried out using ....

C. L. Talcott and Weyhrauch R. W. Towards a theory of mechanized reasoning i: Fol contexts, an extensional view. In European Conference on Artificial Intelligence, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC