Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6) - Softcover

Ramsay, Allan

 
9780521424219: Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Softcover
ISBN 10: 0521424216 ISBN 13: 9780521424219
Publisher: Cambridge University Press, 2009

Synopsis

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

"synopsis" may belong to another edition of this title.

Review

'An appropriate level of detail and technicality is well-balanced with a reasonable reflection of presented formal systems and techniques.' Zentralblatt fur Mathematik

'This is an excellent book. It is well written, covers a well thought out area of theoretical computer science, and is most appropriate for anyone interested in research, or a better understanding of techniques in theoretical artificial intelligence.' Australian Computer Journal

Book Description

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, 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.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2009
Language
English
ISBN 10 
0521424216
ISBN 13 
9780521424219
Binding
Paperback
Number of pages
292

Other Popular Editions of the Same Title

9780521352369: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Featured Edition

ISBN 10:  0521352363 ISBN 13:  9780521352369
Publisher: Cambridge University Press, 1988
Hardcover