David B. Sturgill,
an American mathematician, computer scientist and associate professor at Department of Computer Science ^{[1]}, Baylor University. His research interests covers parallel computation and its application to traditional artificial intelligence problems, including parallel search which involved the development of a parallel theorem prover called Distributed, Adaptive, Logical Inference (DALI), and Nagging, a parallelization technique designed to speed the solution of first-orderinference problems by detecting and pruning unnecessary search, which is naturally fault tolerant and relatively robust in the presence of high communication latency^{[2]}.

Home * People * David SturgillDavid B. Sturgill,an American mathematician, computer scientist and associate professor at Department of Computer Science

^{[1]}, Baylor University. His research interests covers parallel computation and its application to traditional artificial intelligence problems, including parallel search which involved the development of a parallel theorem prover calledDistributed, Adaptive, Logical Inference(DALI), and Nagging, a parallelization technique designed to speed the solution of first-order inference problems by detecting and pruning unnecessary search, which is naturally fault tolerant and relatively robust in the presence of high communication latency^{[2]}.^{[3]}## Table of Contents

## Selected Publications

^{[4]}1994).A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE'19941994).Using Hundreds of Workstations to Solve First-Order Logic Problems. AAAI'19941997).Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. Journal of Automated Reasoning, Vol. 19, No. 3^{[5]}## External Links

## References

1994).A Novel Asynchronous Parallelism Scheme for First-Order Logic. CADE'1994## What links here?

Up one level