☰

David A. Plaisted

Affiliations: 
University of North Carolina, Chapel Hill, Chapel Hill, NC 
Area:
Computer Science
Google:
"David Plaisted"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Cezary Z. Janikow grad student UNC Chapel Hill (MathTree)
Swaha D. Miller grad student 2005 UNC Chapel Hill

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bonacina MP, Plaisted DA. (2016) Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness Journal of Automated Reasoning. 1-54
Plaisted DA. (2014) Automated theorem proving. Wiley Interdisciplinary Reviews. Cognitive Science. 5: 115-28
Plaisted DA, Miller S. (2013) The relative power of semantics and unification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7797: 317-344
Plaisted DA, Yahya A. (2003) A relevance restriction strategy for automated deduction Artificial Intelligence. 144: 59-93
Avenhaus J, Plaisted DA. (2001) General algorithms for permutations in equational inference Journal of Automated Reasoning. 26: 223-268
Plaisted DA, Zhu Y. (2000) Ordered semantic hyper-linking Journal of Automated Reasoning. 25: 167-217
Plaisted DA. (2000) Special cases and substitutes for rigid E-unification Applicable Algebra in Engineering, Communications and Computing. 10: 97-152
Plaisted DA, Zhu Y. (2000) Replacement rules with definition detection Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1761: 80-94
Osorio M, Jayaraman B, Plaisted DA. (1999) Theory of partial-order programming Science of Computer Programming. 34: 207-238
Paramasivam M, Plaisted DA. (1998) Automated Deduction Techniques for Classification in Description Logic Systems Journal of Automated Reasoning. 20: 337-364
See more...