Be the first to ask a question about Logic Programming and Its Applications.
Logic Programming and Its Applications (Ablex Series in Artificial Intelligence, Vol 2). ISBN. 0893912328 (ISBN13: 9780893912321). Lists with This Book. This book is not yet featured on Listopia.
Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled. Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled logical deduction.
Series: Ablex series in artificial intelligence. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings.
Series: Ellis Horwood Series in Artificial Intelligence. Hardcover: 400 pages
Series: Ellis Horwood Series in Artificial Intelligence. Hardcover: 400 pages. Publisher: Prentice Hall (January 1, 1994). The characterize machine learning paradigms as inductive, deductive, learning with genetic algorithms, and learning with neural nets.
Logic programming and its applications. Michel Van Caneghem, David H. D. Warren
Logic programming and its applications. Warren.
Ablex Series in Artificial Intelligence (Ablex Publishing Corporation, 1986).
Robert Kowalski and Donald Kuehner. Linear Resolution with Selection Function In Artificial Intelligence, Vol. 2, 1971, pp. 227-60.
Logic programming and its application, Ablex Publishing Corporation, 1986. 1982: Prolog II a new theoretical model. Includes illustrations and downloads (manual and executable). Robert Kowalski and Donald Kuehner. Reprinted in: Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag, 1983, pp. 542-577.
Epistemological problems in artificial intelligence. The Springer International Series in Engineering and Computer Science, vol 597. Springer, Boston, MA.
on Logic Programming and Nonmonotonic Reasoning, number 1265 in Lecture Notes in AI. Springer. Fikes, R. and Nilsson, N. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 5(2): 189–208. CrossRefGoogle Scholar. (1993). Epistemological problems in artificial intelligence. 5th International Conference on Artificial Intelligence, pages 1038–1044.
Logic-Based Artificial Intelligence will also be of interest to those applying theorem proving methods to problems in program and hardware verification, to those who deal with large knowledge base systems, those developing cognitive robotics, and for those interested in the solution of McCarthy's 1959 "oldest planning problem in AI: getting from home to the airport".
Author: Michel Van Caneghem,David Warren
Category: Computers and Technology
Subcategory: Computer Science
Publisher: Intellect Ltd; 1St Edition edition (May 1, 1986)
Pages: 328 pages
ePUB size: 1383 kb
FB2 size: 1453 kb
Other Formats: lrf mbr docx mobi