Knowledge representation, reasoning and declarative problem solving /
Baral, Chitta.
Cambridge : Cambridge University Press,
2003.
Includes bibliographical references and index.
Expert systems (Computer science)
Artificial intelligence.
Knowledge representation (Information theory)