Paul Soper

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