George Boole's Deductive System.

Frank Markham Brown

Published in: Notre Dame J. Formal Log. (2009)

Keyphrases

years ago
abductive inference
object oriented
data mining
deductive reasoning
database languages
explanation based learning
management system
information extraction
functional programs
database language
databases
scheduling problem
relational databases
case study
multimedia
artificial intelligence
neural network