Overview
This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.
Full Product Details
Author: Ricardo Caferra ,
Alexander Leitsch ,
Nicolas Peltier
Publisher: Springer
Imprint: Springer
Edition: Softcover reprint of hardcover 1st ed. 2004
Volume: 31
Dimensions:
Width: 15.50cm
, Height: 1.80cm
, Length: 23.50cm
Weight: 0.551kg
ISBN: 9789048166961
ISBN 10: 9048166969
Pages: 341
Publication Date: 05 December 2010
Audience:
Professional and scholarly
,
Professional and scholarly
,
Professional & Vocational
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: Out of stock
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Reviews
"""Motivated readers who want to learn more about automated model building [...] are strongly encouraged to read thid book. [...] The area is new, there are many interesting open problems and potential improvements. Because of this newness, motivated readers have a unique opportunity not only to learn interesting ideas but also, hopefully, to meaningfully contribute to this area."" (Vladik Kreinovich, The Review of Modern Logic 10:3-4, issue 32, 2005-2007)"
""Motivated readers who want to learn more about automated model building [...] are strongly encouraged to read thid book. [...] The area is new, there are many interesting open problems and potential improvements. Because of this newness, motivated readers have a unique opportunity not only to learn interesting ideas but also, hopefully, to meaningfully contribute to this area."" (Vladik Kreinovich, The Review of Modern Logic 10:3-4, issue 32, 2005-2007)
Motivated readers who want to learn more about automated model building [...] are strongly encouraged to read thid book. [...] The area is new, there are many interesting open problems and potential improvements. Because of this newness, motivated readers have a unique opportunity not only to learn interesting ideas but also, hopefully, to meaningfully contribute to this area. (Vladik Kreinovich, The Review of Modern Logic 10:3-4, issue 32, 2005-2007)
