Skip to main content

Home/ Artificial Intelligence/ Group items tagged automated

Rss Feed Group items tagged

Janos Haits

Automated Mathematician - Wikipedia, the free encyclopedia - 0 views

    The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.
    AM worked by generating and modifying short Lisp programs which were t
Janos Haits

Workshop on Automated Reasoning about Context and Ontology Evolution - 0 views

    ARCOE aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results.
1 - 2 of 2
Showing 20 items per page