Knowledge representation, reasoning and declarative problem solving
Baral, Chitta
Knowledge representation, reasoning and declarative problem solving - Cambridge Cambridge University Press 2003 - xiv, 530 p.
0521818028
ARTIFICIAL INTELLIGENCE
EXPERT SYSTEMS
INFORMATION THEORY
Knowledge representation
Problem solving
PROLOG
REASONING
006.33 / BAR
Knowledge representation, reasoning and declarative problem solving - Cambridge Cambridge University Press 2003 - xiv, 530 p.
0521818028
ARTIFICIAL INTELLIGENCE
EXPERT SYSTEMS
INFORMATION THEORY
Knowledge representation
Problem solving
PROLOG
REASONING
006.33 / BAR