Learn More
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both induc-tive 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)
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)
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)
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's use of SOC techniques is the ability to discover and compose Web services. Although industry approaches to composition have a strong notion of business processes, these approaches largely(More)
Service-oriented computing is gaining wider acceptance.For Web services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose and synthesize services automatically. For this automation to be effective, formal semantic descriptions of Web services should be available. In this paper we(More)
Logic programming is a paradigm of programming based on a subset of rst order logic. An important property of logic programming languages, such as Prolog, is that their declarative semantics is largely independent of the order in which diierent operations are performed during execution of the program. The diierent operations can also be performed in(More)