Author of the publication

A dynamic approach to characterizing termination of general logic programs.

, , , , and . ACM Trans. Comput. Log., 4 (4): 417-430 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Dynamic Approach to Characterizing Termination of General Logic Programs, , , , and . CoRR, (2002)4D Visual Delivery of Big Climate Data: A Fast Web Database Application System., and . Adv. Data Sci. Adapt. Anal., 9 (3): 1750006:1-1750006:24 (2017)A Toolkit for Snow-Cover Area Calculation and Display Based on the Interactive Multisensor Snow and Ice Mapping System and an Example for the Tibetan Plateau Region., and . Adv. Data Sci. Adapt. Anal., 10 (1): 1850003:1-1850003:18 (2018)Eof-MSE Adaptive Method to Assess an acid deposition Monitoring Network over Alberta, Canada., , , , and . Adv. Data Sci. Adapt. Anal., (2013)Bayesian Optimal blending and Credible Interval estimation for Satellite and Ground Rainfall Observations., , and . Adv. Data Sci. Adapt. Anal., (2013)A dynamic approach to characterizing termination of general logic programs., , , , and . ACM Trans. Comput. Log., 4 (4): 417-430 (2003)Multiscale Processes of Hurricane Sandy (2012) as Revealed by the Parallel Ensemble Empirical Mode Decomposition and Advanced Visualization Technology., , , , and . Adv. Data Sci. Adapt. Anal., 8 (1): 1650005:1-1650005:22 (2016)Simulation of High-Resolution Precipitable Water Data by a Stochastic Model with a Random Trigger., , , , , and . Adv. Data Sci. Adapt. Anal., 8 (2): 1650006:1-1650006:12 (2016)Statistical Characteristics of Long-Term High-Resolution Precipitable Water Vapor Data at Darwin., , and . Adv. Data Sci. Adapt. Anal., 10 (4): 1850010:1-1850010:11 (2018)Hilbert-Huang Transform Approach to Lorenz Signal Separation., and . Adv. Data Sci. Adapt. Anal., 7 (1-2): 1550004:1-1550004:17 (2015)