Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a ...
Read More
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
Read Less
Add this copy of Formal Methods in Artificial Intelligence to cart. $3.94, very good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1991 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence to cart. $3.94, fair condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1991 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence to cart. $6.97, very good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1988 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $7.00, like new condition, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1991 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
296 pp., paperback, previous owner's name to title page else fine. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $16.96, very good condition, Sold by Robert Harper Books rated 5.0 out of 5 stars, ships from Hyattsville, MD, UNITED STATES, published 1988 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. First ed. with stamp "REVIEW COPY FROM SCIENCE; " 279 p., clean and otherwise unmarked--except for some foxing on back end page; binding tight; glossy boards have minimal ear.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $35.92, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Hialeah, FL, UNITED STATES, published 1988 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $36.95, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Hialeah, FL, UNITED STATES, published 1991 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence to cart. $43.80, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence to cart. $59.78, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1991 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). 292 p. Cambridge Tracts in Theoretical Computer Science . Worked examples or Exercises. Intended for professional and scholarly audience. Intended for college/higher education audience.
