W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra.

John C. Shepherdson

Published in: Machine Intelligence 15 (1995)

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
theorem prover
machine learning
conditional probabilities
inductive logic programming
subgroup discovery
image processing
scheduling problem
upper approximation