Donald F. Geddis

According to our database, Donald F. Geddis authored at least 3 papers between 1991 and 1995.

Collaborative distances:

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

1995

Caching and non-Horn inference in model elimination theorem provers.

Donald F. Geddis

PhD thesis, 1995

Infomaster: A Virtual Information System.

Donald F. Geddis, Michael R. Genesereth, Arthur M. Keller, Narinder Singh

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1991

Is There any Need for Domain-Dependent Control Information?

Matthew L. Ginsberg, Donald F. Geddis

Proceedings of the 9th National Conference on Artificial Intelligence, 1991