Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/David_Plaisted> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- David_Plaisted abstract "David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.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, the associative path ordering, abstraction, the simplified and modified problem reduction formats, ground reducibility,nonstandard clause form translations, rigid E-unification,Knuth–Bendix completion,replacement rules in theorem proving, instance-based theorem proving strategies, and semantics in theorem proving.He received his B.S. from the University of Chicago in 1970 and his Ph.D. from Stanford University in 1976.He served on the faculty of the computer science department at the University of Illinois at Urbana-Champaign until 1984, and since then has been a full professor in the Department of Computer Science at the University of North Carolina at Chapel Hill.Plaisted has authored or co-authored publications in computer science, which are cited by academics in this field. He has also served on a number of program committees and on the editorial boards of a number of journals, including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. Plaisted spent a sabbatical at SRI International in Menlo Park, California in 1982 and 1983 and another at the Max Planck Institute for Software Systems and the University of Kaiserslautern in Germany in 1993 and 1994.".
- David_Plaisted wikiPageExternalLink index.html.
- David_Plaisted wikiPageExternalLink ~plaisted.
- David_Plaisted wikiPageID "13681226".
- David_Plaisted wikiPageLength "5909".
- David_Plaisted wikiPageOutDegree "23".
- David_Plaisted wikiPageRevisionID "689864847".
- David_Plaisted wikiPageWikiLink Algorithm.
- David_Plaisted wikiPageWikiLink Automated_theorem_proving.
- David_Plaisted wikiPageWikiLink Bachelor_of_Science.
- David_Plaisted wikiPageWikiLink Category:American_computer_scientists.
- David_Plaisted wikiPageWikiLink Category:Living_people.
- David_Plaisted wikiPageWikiLink Category:Stanford_University_alumni.
- David_Plaisted wikiPageWikiLink Category:University_of_Chicago_alumni.
- David_Plaisted wikiPageWikiLink Category:University_of_Illinois_at_Urbana–Champaign_faculty.
- David_Plaisted wikiPageWikiLink Category:University_of_North_Carolina_at_Chapel_Hill_faculty.
- David_Plaisted wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- David_Plaisted wikiPageWikiLink Doctor_of_Philosophy.
- David_Plaisted wikiPageWikiLink Journal_of_Symbolic_Computation.
- David_Plaisted wikiPageWikiLink Kaiserslautern_University_of_Technology.
- David_Plaisted wikiPageWikiLink Knuth–Bendix_completion_algorithm.
- David_Plaisted wikiPageWikiLink Logic_programming.
- David_Plaisted wikiPageWikiLink Max_Planck_Institute_for_Software_Systems.
- David_Plaisted wikiPageWikiLink Menlo_Park,_California.
- David_Plaisted wikiPageWikiLink Rewriting.
- David_Plaisted wikiPageWikiLink SRI_International.
- David_Plaisted wikiPageWikiLink Stanford_University.
- David_Plaisted wikiPageWikiLink Unification_(computer_science).
- David_Plaisted wikiPageWikiLink University_of_Chicago.
- David_Plaisted wikiPageWikiLink University_of_North_Carolina_at_Chapel_Hill.
- David_Plaisted wikiPageWikiLinkText "David Plaisted".
- David_Plaisted id "Plaisted:David_A=".
- David_Plaisted name "David A. Plaisted".
- David_Plaisted wikiPageUsesTemplate Template:Authority_control.
- David_Plaisted wikiPageUsesTemplate Template:Blpsources.
- David_Plaisted wikiPageUsesTemplate Template:Cn.
- David_Plaisted wikiPageUsesTemplate Template:DBLP.
- David_Plaisted wikiPageUsesTemplate Template:Reflist.
- David_Plaisted wikiPageUsesTemplate Template:Rewrite.
- David_Plaisted subject Category:American_computer_scientists.
- David_Plaisted subject Category:Living_people.
- David_Plaisted subject Category:Stanford_University_alumni.
- David_Plaisted subject Category:University_of_Chicago_alumni.
- David_Plaisted subject Category:University_of_Illinois_at_Urbana–Champaign_faculty.
- David_Plaisted subject Category:University_of_North_Carolina_at_Chapel_Hill_faculty.
- David_Plaisted subject Category:Year_of_birth_missing_(living_people).
- David_Plaisted hypernym Professor.
- David_Plaisted type List.
- David_Plaisted type Person.
- David_Plaisted type List.
- David_Plaisted type Redirect.
- David_Plaisted type Thing.
- David_Plaisted comment "David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.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, the associative path ordering, abstraction, the simplified and modified problem reduction formats, ground reducibility,nonstandard clause form translations, rigid E-unification,Knuth–Bendix completion,replacement rules in theorem proving, instance-based theorem proving strategies, and semantics in theorem proving.He received his B.S. ".
- David_Plaisted label "David Plaisted".
- David_Plaisted sameAs Q5238604.
- David_Plaisted sameAs m.03cdzjf.
- David_Plaisted sameAs Q5238604.
- David_Plaisted wasDerivedFrom David_Plaisted?oldid=689864847.
- David_Plaisted isPrimaryTopicOf David_Plaisted.