Jonathan M. Lever

According to our database, Jonathan M. Lever authored at least 6 papers between 1991 and 2005.

Collaborative distances:

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

2005

A Local Search/Constraint Propagation Hybrid for a Network Routing Problem.

Jonathan M. Lever

Int. J. Artif. Intell. Tools, 2005

1998

Towards a closer integration of finite domainpropagation and simplex-based algorithms.

Mozafar T. Hajian, Hani El Sakkout, Mark Wallace, Jonathan M. Lever, Barry Richards

Ann. Oper. Res., 1998

1994

Constraint Logic Programming for Planning.

Jonathan M. Lever

Proceedings of the Logic Programming, 1994

parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.

Jonathan M. Lever, Barry Richards

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1991

Program Equivalence, Program Development and Integrity Checking.

Jonathan M. Lever

Proceedings of the Logic Program Synthesis and Transformation, 1991

Proving Program Properties by Means of SLS-Resolution.

Jonathan M. Lever

Proceedings of the Logic Programming, 1991