Jared L. Darlington

Publication Activity (10 Years)

Years Active: 1962-2006
Publications (10 Years): 0

Publications

Y. Patel, Jared L. Darlington
A novel stochastic algorithm for scheduling workflows with QoS guarantees in a web service-oriented grid. Computational Intelligence (2006)
Jared L. Darlington, Harald-Reto Fonio
Foretracking versus Backtracking in AI Languages. Applied Informatics (1994)
Jared L. Darlington
Logic programming with goal-directed search. Jerusalem Conference on Information Technology (1990)
Jared L. Darlington
Search Direction by Goal Failure in Goal-Directed Programming. ACM Trans. Program. Lang. Syst. 12 (2) (1990)
Jared L. Darlington, Wolfgang Dzida, Siegfried Herda
The Role of Excursions in Interactive Systems. Int. J. Man Mach. Stud. 18 (2) (1983)
Jared L. Darlington
Improving the Efficiency of Higher Order Unification. IJCAI (1977)
Jared L. Darlington
Automatic Program Synthesis in Second-Order Logic. IJCAI (1973)
Jared L. Darlington
Theorem Provers as Question Answerers. IJCAI (1969)
Jared L. Darlington
Machine methods of proving logical arguments expressed in English. Mech. Transl. Comput. Linguistics 8 (3-4) (1965)
Jared L. Darlington
Interlingua and MT, a discussion. Mech. Transl. Comput. Linguistics 7 (1) (1962)