On Tue, Sep 23, 2008 at 6:59 PM, Abram Demski <[EMAIL PROTECTED]> wrote: > I'm in the process of reading this paper: > > http://www.jair.org/papers/paper1410.html > > It might answer a couple of your questions. And, it looks like it has > an interesting proposal about generating heuristics from the problem > description. The setting is boolean rather than firs-order. It > discusses the point about resolution being slow in practice.
First-order theorem proving is very different from propositional, the techniques do not transfer there. I'd be very delighted if you can show a paper about a superior algorithm for first-order =) YKY ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=114414975-3c8e69 Powered by Listbox: http://www.listbox.com
