Paul Soper

According to our database, Paul Soper authored at least 17 papers between 1987 and 1996.

Collaborative distances:

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

1996

Combining the Strengths of Information Management Technologies to Meet the Needs of Legal Professionals.

Muhammed A. Pasha, Paul Soper

J. Inf. Law Technol., 1996

Typed Norms for Typed Logic Programs.

Jonathan C. Martin, Andy King, Paul Soper

Proceedings of the Logic Programming Synthesis and Transformation, 1996

A Composite Approach to Meet the Needs of Legal Professionals.

Muhammad A. Pasha, Paul Soper

Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

1994

Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems.

Paul Soper, Muhammad A. Pasha

Proceedings of the Tenth Logic Programming Workshop, 1994

Depth-k Sharing and Freeness.

Andy King, Paul Soper

Proceedings of the Logic Programming, 1994

Continuation Compilation for Concurrent Logic Programming.

B. Kemp, Paul Soper, Andy King

Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994

1993

Coupling hypertext and knowledge based systems: Two applications in the legal domain.

Paul Soper, Trevor J. M. Bench-Capon

Artif. Intell. Law, 1993

1992

Ordering Optimizations for Concurrent Logic Programs.

Andy King, Paul Soper

Proceedings of the Logical Foundations of Computer Science, 1992

Schedule Analysis of Concurrent Logic programs.

Andy King, Paul Soper

Proceedings of the Logic Programming, 1992

Using Hypertext to Interface to Legal Knowledge Based Systems.

Paul Soper, Trevor J. M. Bench-Capon

Proceedings of the International Conference on Database and Expert Systems Applications, 1992

Serialisation Analysis of Concurrent Logic Programs.

Andy King, Paul Soper

Proceedings of the Algebraic and Logic Programming, 1992

1991

Reducing Scheduling Overheads for Concurrent Logic Programs.

Andy King, Paul Soper

Proceedings of the Processing Declarative Knowledge, 1991

A Temporal Model for Clinical and Resource Management in Vascular Surgery.

Paul Soper, Charles Ranaboldo, Geetha Abeysinghe

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

1990

Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients.

Paul Soper, Geetha Abeysinghe, Charles Ranaboldo

Proceedings of the International Conference on Database and Expert Systems Applications, 1990

Compile-Time Analysis of Concurrent Logic Programs for Multi-processors.

Andy King, Paul Soper

Proceedings of the Parallelization in Inference Systems, 1990

1989

<i>Database applications using Prolog</i> by Robert Lucas, Ellis Horwood Ltd, 1988, pp 159, £19.95.

Paul Soper

Knowl. Eng. Rev., 1989

1987

Integrity Checking in Deductive Databases.

Robert A. Kowalski, Fariba Sadri, Paul Soper

Proceedings of the VLDB'87, 1987