Learn More
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a natural generalization of logic programming and coinductive logic programming, which in turn generalizes other extensions of logic programming, such as infinite trees, lazy(More)
In this paper we present a novel execution model for parallel implementation of logic programs which is capable of exploiting both independent and-parallelism and or-parallelism in an efficient way. This model extends the stack copying approach, which has been successfully applied in the Muse system to implement or-parallelism, by integrating it with proven(More)
Tabled logic programming (LP) systems have been applied to elegantly and quickly solving very complex problems (e.g., model checking). However, techniques currently employed for incorporating tabling in an existing LP system are quite complex and require considerable change to the LP system. We present a simple technique for incorporating tabling in(More)
OBJECTIVES Minimally invasive robotic assistance is being increasingly utilized to treat larger complex renal masses. We report on the technical feasibility and renal functional and oncologic outcomes with minimum 1 year follow-up of robot-assisted laparoscopic partial nephrectomy (RALPN) for tumors greater than 4 cm. MATERIALS AND METHODS The urologic(More)
Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our(More)
One of the greatest challenges to the visually impaired student in science and mathematics disciplines is the reading and writing of complex mathematical equations or have convenient access to information based tools such as the world wide web. In research currently underway at New Mexico State University, tools are being built using logic programming to(More)
PURPOSE Patients with negative transrectal ultrasound biopsies and a persistent clinical suspicion are at risk for occult but significant prostate cancer. The ability of multiparametric magnetic resonance imaging/ultrasound fusion biopsy to detect these occult prostate lesions may make it an effective tool in this challenging scenario. MATERIALS AND(More)