David A. Plaisted
Affiliations: | University of North Carolina, Chapel Hill, Chapel Hill, NC |
Area:
Computer ScienceGoogle:
"David Plaisted"Children
Sign in to add traineeCezary Z. Janikow | grad student | UNC Chapel Hill (MathTree) | |
Swaha D. Miller | grad student | 2005 | UNC Chapel Hill |
BETA: Related publications
See more...
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 |