Application of theorem proving to problem solving (1969)

View PDF

Download Links

by Cordell Green
Citations:249 - 1 self

Active Bibliography

27 The Applications of Theorem Proving to Question-Answering Systems – Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green - 1969
March 1969 APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING – Cordell Green
Artificial Intelligence Group – Cordell Green - 1969
1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
663 Inverse entailment and Progol – Stephen Muggleton - 1995
609 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006
985 A theory of type polymorphism in programming – Robin Milner - 1978