Author of the publication

The role of abduction in Logic Programming

, and . Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, (1998)

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

The role of abduction in Logic Programming, and . Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, (1998)Templates for the Solution of Linear Systems : Building Blocks for Iterative Methods, , , , , , , , , and . Other Titles in Applied Mathematics Society for Industrial and Applied Mathematics, 1 edition, (Jan 1, 1987)On the Optimality of the Median Cut Spectral Bisection Graph Partitioning Method., , and . SIAM J. Sci. Comput., 18 (3): 943-948 (1997)Brain surface conformal parameterization with the slit mapping., , , , and . ISBI, page 448-451. IEEE, (2008)Extending traditional user assistance systems to support an auditory interface., , and . Artificial Intelligence and Applications, page 684-689. IASTED/ACTA Press, (2007)Implementing SATCOM-on-the-move in the land environment - Relating technical solutions to operational reality., and . MilCIS, page 1-6. IEEE, (2011)Faster minimization of linear wirelength for global placement., , , , , , and . ISPD, page 4-11. ACM, (1997)Circulant preconditioners for Toeplitz-block matrices., and . Numer. Algorithms, 6 (1): 89-101 (1994)Two-Color Fourier Analysis of Iterative Algorithms for Elliptic Problems with Red/Black Ordering., and . SIAM J. Sci. Comput., 11 (4): 767-793 (1990)Polaritons in layered two-dimensional materials, , , , , , , , , and . NATURE MATERIALS, 16 (2): 182-194 (2017)