Knowledge Representation, Reasoning and Declarative Problem Solving February 2003 Mathematical theory of computation; Programming - General; Expert systems (Computer science); Infor… ISBN 0521818028 View on Amazon Lists featuring this book (1)