Progress in Logic-Based AI Export

@misc{citeulike:1283953, abstract = {he collection [Ginsberg, 1987]. It has continued to develop, see e.g. [Lifschitz, 1993]. Minsky [Minsky, 1975] mentioned the need for something like nonmonotonic reasoning, but used this fact as evidence for the inadequacy of logic-based approaches to AI and the need for approaches not based on logic. This isn't how things have gone. Nonmonotonic reasoning has developed as a branch of mathematical logic, using the concepts, such as that of interpretation and model, that logicians have been...}, author = {Claims, Hubert D.}, citeulike-article-id = {1283953}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1978}, keywords = {ai, logic}, posted-at = {2007-05-08 17:34:14}, priority = {3}, title = {Progress in Logic-Based AI}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1978} }

TY - GEN ID - citeulike:1283953 L3 - citeulike-article-id:1283953 N2 - he collection [Ginsberg, 1987]. It has continued to develop, see e.g. [Lifschitz, 1993]. Minsky [Minsky, 1975] mentioned the need for something like nonmonotonic reasoning, but used this fact as evidence for the inadequacy of logic-based approaches to AI and the need for approaches not based on logic. This isn't how things have gone. Nonmonotonic reasoning has developed as a branch of mathematical logic, using the concepts, such as that of interpretation and model, that logicians have been... TI - Progress in Logic-Based AI KW - ai KW - logic AU - Claims, Hubert UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1978 ER -