Vincent J. Digricoli

According to our database, Vincent J. Digricoli authored at least 9 papers between 1979 and 1994.

Collaborative distances:

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

1994

The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems.

Vincent J. Digricoli

J. Autom. Reason., 1994

1992

LIM+ Challenge Problems by RUE Hyper-Resolution.

Vincent J. Digricoli, Eugene Kochendorfer

Proceedings of the Automated Deduction, 1992

1989

And-Or Graphs Applied to RUE Resolution.

Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

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

1986

Equality-based binary resolution.

Vincent J. Digricoli, Malcolm C. Harrison

J. ACM, 1986

1985

The Management of Heuristic Search in Boolean Experiments with Rue Resolution.

Vincent J. Digricoli

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

Resolution by Unification and Equality.

Vincent J. Digricoli

PhD thesis, 1983

1981

The Efficacy of RUE Resolution Experimental Results and Heuristic Theory.

Vincent J. Digricoli

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

First Experiments with Rue Automated Deduction.

Vincent J. Digricoli

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

Automatic deduction and equality.

Vincent J. Digricoli

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979