One more bite: Locus Solum: From the rules of logic to the logic of rules by Jean-Yves Girard, 2000. http://lambda-the-ultimate.org/node/1994
On 6/5/07, Lukasz Stafiniak <[EMAIL PROTECTED]> wrote:
Speaking of logical approaches to AGI... :-) http://www.thinkartlab.com/pkl/
----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=e9e40a7e
