Paul Soper

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Jonathan C. Martin, Andy King, Paul Soper
Typed Norms for Typed Logic Programs. LOPSTR (1996)
Muhammad A. Pasha, Paul Soper
A Composite Approach to Meet the Needs of Legal Professionals. DEXA Workshop (1996)
Muhammed A. Pasha, Paul Soper
Combining the Strengths of Information Management Technologies to Meet the Needs of Legal Professionals. J. Inf. Law Technol. 1996 (2) (1996)
Paul Soper, Muhammad A. Pasha
Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. WLP (1994)
Andy King, Paul Soper
Depth-k Sharing and Freeness. ICLP (1994)
B. Kemp, Paul Soper, Andy King
Continuation Compilation for Concurrent Logic Programming. AIRTC (1994)
Paul Soper, Trevor J. M. Bench-Capon
Coupling hypertext and knowledge based systems: Two applications in the legal domain. Artif. Intell. Law 2 (4) (1993)
Andy King, Paul Soper
Serialisation Analysis of Concurrent Logic Programs. ALP (1992)
Andy King, Paul Soper
Schedule Analysis of Concurrent Logic programs. JICSLP (1992)
Paul Soper, Trevor J. M. Bench-Capon
Using Hypertext to Interface to Legal Knowledge Based Systems. DEXA (1992)
Andy King, Paul Soper
Ordering Optimizations for Concurrent Logic Programs. LFCS (1992)
Paul Soper, Charles Ranaboldo, Geetha Abeysinghe
A Temporal Model for Clinical and Resource Management in Vascular Surgery. DEXA (1991)
Andy King, Paul Soper
Reducing Scheduling Overheads for Concurrent Logic Programs. PDK (1991)
Paul Soper, Geetha Abeysinghe, Charles Ranaboldo
Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients. DEXA (1990)
Andy King, Paul Soper
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Paul Soper
by Robert Lucas, Ellis Horwood Ltd, 1988, pp 159, £19.95. Knowl. Eng. Rev. 4 (1) (1989)
Robert A. Kowalski, Fariba Sadri, Paul Soper
Integrity Checking in Deductive Databases. VLDB (1987)