Description
This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.
About the Author
Dr Michael Gelfond is a Professor of Computer Science at Texas Tech University. He received his PhD from the Steklov Institute of Mathematics of the Academy of Sciences, St Petersburg, Russia. He is an AAA Fellow and serves as an Area Editor for the International Journal of Theory and Practice of Logic Programming and as an Executive Editor of the Journal of Logic and Computation. In 2004 and 2012 he was the recipient of the award for most influential paper in twenty years by the International Association of Logic Programming. Yulia Kahl is a member of the Texas Action Group and the Knowledge Representation Lab at Texas Tech. She received her Master's in Computer Science, focusing on the use of ASP for planning. She has also worked as a programmer at IBM.
Reviews
'An excellent text for both students and experts in answer-set programming and knowledge representation.' Chitta Baral, Arizona State University
'Michael Gelfond is one of the creators of answer-set programming, a new programming methodology based on artificial intelligence that has already found several important applications. I am extremely impressed by the clarity of thought and examples provided. The authors are to be congratulated on this excellent addition to the literature.' Vladimir Lifschitz, University of Texas, Austin
Book Information
ISBN 9781107029569
Author Michael Gelfond
Format Hardback
Page Count 360
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 610g
Dimensions(mm) 235mm * 157mm * 23mm