Dan Benanav

According to our database, Dan Benanav authored at least 5 papers between 1987 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Recognizing Unnecessary Clauses in Resolution Based Systems.

Dan Benanav

J. Autom. Reason., 1992

1990

Simultaneous Paramodulation.

Dan Benanav

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Recognizing Unnecessary Inference.

Dan Benanav

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987

Complexity of Matching Problems.

Dan Benanav, Deepak Kapur, Paliath Narendran

J. Symb. Comput., 1987

An Algebraic Foundation for Truth Maintenance.

Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987