ML Anthology
Authors
Search
About
Benanav, Dan
2 publications
IJCAI
1989
Recognizing Unnecessary Inference
Dan Benanav
IJCAI
1987
An Algebraic Foundation for Truth Maintenance
Allen L. Brown Jr.
,
Dale E. Gaucas
,
Dan Benanav