Jared L. Darlington

According to our database, Jared L. Darlington authored at least 10 papers between 1962 and 2006.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2006

A novel stochastic algorithm for scheduling workflows with QoS guarantees in a web service-oriented grid.

Y. Patel, Jared L. Darlington

Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006

1994

Foretracking versus Backtracking in AI Languages.

Jared L. Darlington, Harald-Reto Fonio

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1990

Search Direction by Goal Failure in Goal-Directed Programming.

Jared L. Darlington

ACM Trans. Program. Lang. Syst., 1990

Logic programming with goal-directed search.

Jared L. Darlington

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1983

The Role of Excursions in Interactive Systems.

Jared L. Darlington, Wolfgang Dzida, Siegfried Herda

Int. J. Man Mach. Stud., 1983

1977

Improving the Efficiency of Higher Order Unification.

Jared L. Darlington

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1973

Automatic Program Synthesis in Second-Order Logic.

Jared L. Darlington

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1969

Theorem Provers as Question Answerers.

Jared L. Darlington

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

1965

Machine methods of proving logical arguments expressed in English.

Jared L. Darlington

Mech. Transl. Comput. Linguistics, 1965

1962

Interlingua and MT, a discussion.

Jared L. Darlington

Mech. Transl. Comput. Linguistics, 1962