David Plaisted

Add links
Source: Wikipedia, the free encyclopedia.

David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.

Research interests

Plaisted's research interests include

term rewriting systems, automated theorem proving, logic programming, and algorithms. His research accomplishments in theorem proving include work on the recursive path ordering,[1]
the associative path ordering,[2] abstraction,[3] the simplified and modified problem reduction formats,[4][5] ground reducibility,[6] nonstandard clause form translations,
Knuth–Bendix completion,[9][10] replacement rules in theorem proving,[11] instance-based theorem proving strategies,[12] and semantics in theorem proving.[13]

Education and career

He received his

University of Kaiserslautern in Germany in 1993 and 1994.[citation needed] Plaisted operates a Young Earth creation website called A Creation Perspective.[14][15]

References

  1. ^ David A. Plaisted (1978). A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems (Technical report). Univ. of Illinois, Dept. of Comp. Sc. p. 52. R-78-943.
  2. ^ Bachmair, L.; Plaisted, D.A. (1985). Jean-Pierre Jouannaud (ed.). Associative Path Orderings. LNCS. Vol. 202. Springer-Verlag. pp. 241–54.
  3. doi:10.1016/0004-3702(81)90015-1
    .
  4. doi:10.1016/0004-3702(82)90041-8
    .
  5. ^ Xumin Nie; David A. Plaisted (Jan 1989). A Semantic Variant of the Modified Problem Reduction Format (PDF) (Technical report). Univ. of North Carolina at Chapel Hill. p. 11. TR89-101.
  6. S2CID 820591.{{cite journal}}: CS1 maint: multiple names: authors list (link
    )
  7. doi:10.1016/s0747-7171(86)80028-1
    .
  8. doi:10.1016/0890-5401(90)90061-l
    .
  9. doi:10.1016/s0019-9958(85)80005-x
    .
  10. doi:10.1006/inco.1996.0028
    .
  11. ^ Shie-Jue Lee; David A. Plaisted (1994). "Use of replace rules in theorem proving". Methods of Logic in Computer Science. 1 (2): 217–40.
  12. doi:10.3233/FI-1994-2134
    .
  13. ^ Xumin Nie; David A. Plaisted (July 1990). "A Complete Semantic Back Chaining Proof System". In M. E. Stickel (ed.). Proc. 10th CADE. LNAI. Vol. 449. Springer. pp. 16–27.
  14. ^ "More Bad News for Radiometric Dating". www.cs.unc.edu. Retrieved 2018-11-28.
  15. ^ "A Creation Perspective". tasc-creationscience.org. Retrieved 2018-11-28.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=David_Plaisted&oldid=1166982114"