Dan Benanav

Publication Activity (10 Years)

Years Active: 1985-1992
Publications (10 Years): 0

Publications

Dan Benanav
Recognizing Unnecessary Clauses in Resolution Based Systems. J. Autom. Reason. 9 (1) (1992)
Dan Benanav
Simultaneous Paramodulation. CADE (1990)
Dan Benanav
Recognizing Unnecessary Inference. IJCAI (1989)
Dan Benanav, Deepak Kapur, Paliath Narendran
Complexity of Matching Problems. J. Symb. Comput. 3 (1/2) (1987)
Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav
An Algebraic Foundation for Truth Maintenance. IJCAI (1987)
Dan Benanav, Deepak Kapur, Paliath Narendran
Complexity of Matching Problems. RTA (1985)