David Plaisted - David Plaisted

David Alan Plaisted bir bilgisayar bilimi profesörüdür Kuzey Karolina Üniversitesi, Chapel Hill.

Plaisted'ın araştırma ilgi alanları şunları içerir: terim yeniden yazma sistemleri, otomatik teorem kanıtlama, mantık programlama, ve algoritmalar. Teoremdeki araştırma başarıları, özyinelemeli yol sıralaması üzerine çalışmaları içerir,[1] ilişkisel yol sıralaması,[2] soyutlama,[3] basitleştirilmiş ve değiştirilmiş problem azaltma formatları,[4][5] zemin indirgenebilirliği,[6]standart olmayan cümle form çevirileri,[7] katı E-birleştirme,[8] Knuth – Bendix tamamlama,[9][10] teoremin ispatında yer değiştirme kuralları,[11] örnek tabanlı teorem kanıtlama stratejileri,[12] ve teorem ispatında anlambilim.[13]

O aldı B.S. -den Chicago Üniversitesi 1970 ve onun Doktora itibaren Stanford Üniversitesi 1984'e kadar Urbana-Champaign'deki Illinois Üniversitesi'nde bilgisayar bilimleri fakültesinde görev yaptı ve o zamandan beri Chapel Hill'deki Kuzey Carolina Üniversitesi Bilgisayar Bilimleri Bölümü'nde profesör olarak görev yapıyor. Bilgisayar bilimi alanında bu alandaki akademisyenlerin atıfta bulunduğu yayınların yazarı veya ortak yazarıdır. Çeşitli program komitelerinde ve çeşitli dergilerin yayın kurullarında görev yapmıştır. Journal of Symbolic Computation, Bilgi İşlem Mektupları, Matematiksel Sistemler Teorisi ve Temel Bilgiler. Plaisted bir sabbatical geçirdi SRI Uluslararası içinde Menlo Parkı, Kaliforniya 1982 ve 1983'te ve diğeri Max Planck Yazılım Sistemleri Enstitüsü ve Kaiserslautern Üniversitesi 1993 ve 1994'te Almanya'da.[kaynak belirtilmeli ] Plaisted bir Genç Dünya yaratılışçılığı A Creation Perspective adlı web sitesi. [14][15]

Referanslar

  1. ^ David A. Plaisted (1978). Dönem Yeniden Yazma Sistemlerinin Sonlandırılmasını Kanıtlamak için Yinelemeli Olarak Tanımlanmış Bir Sıralama (Teknik rapor). Üniv. Illinois, Dept. of Comp. Sc. s. 52. R-78-943.
  2. ^ Bachmair, L .; Plaisted, D.A. (1985). Jean-Pierre Jouannaud (ed.). İlişkili Yol Sıralaması. LNCS. 202. Springer-Verlag. sayfa 241–54.
  3. ^ David A. Plaisted (1981). "Soyutlama ile Kanıtlayan Teorem". Artif. Zeka. 16 (1): 47–108. doi:10.1016/0004-3702(81)90015-1.
  4. ^ David A. Plaisted (1982). "Basitleştirilmiş Sorun Azaltma Biçimi". Artif. Zeka. 18 (2): 227–61. doi:10.1016/0004-3702(82)90041-8.
  5. ^ Xumin Nie; David A. Plaisted (Ocak 1989). Değiştirilmiş Problem Azaltma Formatının Anlamsal Bir Varyantı (PDF) (Teknik rapor). Üniv. Kuzey Carolina'nın Chapel Hill'de. s. 11. TR89-101.
  6. ^ Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder (1993). "Polinom Zamanında Kanonik Zemin Yeniden Yazma Kuralları Kümelerini Bulmak İçin Bir Algoritma" (PDF). J. ACM. 40 (1): 1–16. doi:10.1145/138027.138032. S2CID  820591.CS1 bakım: birden çok isim: yazar listesi (bağlantı)
  7. ^ David A. Plaisted; Steven Greenbaum (1986). "Yapıyı Koruyan Madde Formu Tercümesi". J. Sembolik Hesaplama. 2 (3): 293–304. doi:10.1016 / s0747-7171 (86) 80028-1.
  8. ^ Jean H. Gallier; Paliath Narendran; David A. Plaisted; Wayne Snyder (1990). "Rijit E-Birleştirme: NP-Tamlığı ve Denklem Eşleştirmelerine Uygulamalar". Inf. Bilgisayar. 87 (1/2): 129–95. doi:10.1016 / 0890-5401 (90) 90061-l.
  9. ^ David A. Plaisted (1985). "Anlamsal Birleşme Testleri ve Tamamlama Yöntemleri". Bilgi ve Kontrol. 65 (2/3): 182–215. doi:10.1016 / s0019-9958 (85) 80005-x.
  10. ^ David A. Plaisted; Andrea Sattler-Klein (1996). "Denklem Tamamlama için İspat Uzunlukları" (PDF). Inf. Bilgisayar. 125 (2): 154–70. doi:10.1006 / inco.1996.0028.
  11. ^ Shie-Jue Lee; David A. Plaisted (1994). "Teorem ispatında değiştirme kurallarının kullanımı". Bilgisayar Biliminde Mantık Yöntemleri. 1 (2): 217–40.
  12. ^ Heng Chu; David A. Plaisted (1994). "Semantik Güdümlü Örneğe Dayalı Teorem İspatında Model Bulma". Fundam. Bilgi vermek. 21 (3): 221–235. doi:10.3233 / FI-1994-2134.
  13. ^ Xumin Nie; David A. Plaisted (Temmuz 1990). "Tam Anlamsal Geri Zincirleme Kanıtı Sistemi". M.E. Stickel (ed.). Proc. 10. CADE. LNAI. 449. Springer. sayfa 16–27.
  14. ^ "Radyometrik Arkadaşlık İçin Daha Kötü Haber". www.cs.unc.edu. Alındı 2018-11-28.
  15. ^ "Bir Yaratılış Perspektifi". tasc-creationscience.org. Alındı 2018-11-28.

Dış bağlantılar