Logic Theorist

Results: 11



#Item
1PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305

PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305

Add to Reading List

Source URL: www-formal.stanford.edu

Language: English - Date: 2002-03-26 18:16:08
2Preface Artificial Life, unlike artifical intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the first breathtaking results were already out, such as The Logic Theorist, a

Preface Artificial Life, unlike artifical intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the first breathtaking results were already out, such as The Logic Theorist, a

Add to Reading List

Source URL: kampis.web.elte.hu

Language: English - Date: 2011-04-07 04:41:11
    3Preface Artificial Life, unlike artifical intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the first breathtaking results were already out, such as The Logic Theorist, a

    Preface Artificial Life, unlike artifical intelligence, had humble beginnings. In the case of the latter, when the word itself was born, the first breathtaking results were already out, such as The Logic Theorist, a

    Add to Reading List

    Source URL: hps.elte.hu

    Language: English - Date: 2011-04-07 04:41:11
    4Preproposal 3-January-1969

    Preproposal 3-January-1969

    Add to Reading List

    Source URL: www.ai.sri.com

    Language: English - Date: 2004-10-06 18:18:09
    5Articles Creativity at the Metalevel AAAI-2000 Presidential Address

    Articles Creativity at the Metalevel AAAI-2000 Presidential Address

    Add to Reading List

    Source URL: www.aaai.org

    Language: English - Date: 2008-12-15 21:42:59
    6AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones

    AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones

    Add to Reading List

    Source URL: www.ai4fm.org

    Language: English - Date: 2013-10-30 13:20:29
    7Reinventing Education Based on Data and What Works • Since 1955 Carnegie Mellon is reinventing education and the way we think about leveraging technology through its study of the science of learning – an interdiscipl

    Reinventing Education Based on Data and What Works • Since 1955 Carnegie Mellon is reinventing education and the way we think about leveraging technology through its study of the science of learning – an interdiscipl

    Add to Reading List

    Source URL: www.cmu.edu

    Language: English - Date: 2012-12-27 14:46:09
    8DOCID: [removed]UNCLASSIFIED Time Is . Time Was· Time Is Past Computers for Intelligence BY HOWARD H. CAMPAIGNE

    DOCID: [removed]UNCLASSIFIED Time Is . Time Was· Time Is Past Computers for Intelligence BY HOWARD H. CAMPAIGNE

    Add to Reading List

    Source URL: www.nsa.gov

    Language: English - Date: 2011-07-08 11:12:31
    9Knowledge-Based Systems Announcements

    Knowledge-Based Systems Announcements

    Add to Reading List

    Source URL: www.cs.cornell.edu

    Language: English - Date: 2011-11-18 10:52:58
    10John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION

    John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION

    Add to Reading List

    Source URL: sirismm.si.edu

    Language: English - Date: 2008-12-19 12:21:01