The Automation of Reasoning With Incomplete Information
Subtitle: From Semantic Foundations to Efficient Computation (Lecture Notes in Artificial Intelligence)
Publisher: Springer-Verlag Telos
Published: January 15, 1998
Language: eng
Format: Paperback
Number of pages: 159
ISBN-13: 9783540645153
Subjects: Knowledge-based systems / expert systems; Expert Systems; Automata; Computers; Computers - General Information; Logic; Artificial Intelligence - General; Automatic theorem proving; Computer Science