| Stable models of formulas with intensional functions M Bartholomew, J Lee Thirteenth International Conference on the Principles of Knowledge …, 2012 | 41 | 2012 |
| System aspmt2smt: Computing ASPMT Theories by SMT Solvers M Bartholomew, J Lee Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 37 | 2014 |
| Functional stable model semantics and answer set programming modulo theories M Bartholomew, J Lee Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 24 | 2013 |
| First-order extension of the FLP stable model semantics via modified circumscription M Bartholomew, J Lee, Y Meng Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 21 | 2011 |
| First-order semantics of aggregates in answer set programming via modified circumscription M Bartholomew, J Lee, Y Meng 2011 AAAI Spring Symposium Series, 2011 | 16 | 2011 |
| On the stable model semantics for intensional functions M Bartholomew, J Lee Theory and Practice of Logic Programming 13 (4-5), 863-876, 2013 | 14 | 2013 |
| A decidable class of groundable formulas in the general theory of stable models M Bartholomew, J Lee Twelfth International Conference on the Principles of Knowledge …, 2010 | 9 | 2010 |
| Stable models of multi-valued formulas: Partial versus total functions M Bartholomew, J Lee Fourteenth International Conference on the Principles of Knowledge …, 2014 | 8 | 2014 |
| First-order stable model semantics with intensional functions M Bartholomew, J Lee Artificial Intelligence 273, 56-93, 2019 | 6 | 2019 |
| A Controlled In-Vitro Study Comparing Efficacy of Two Commercial Antibiotic Topical Compounds and Two Chinese Herbal Medicine Topicals Against Bacteria Cultured from 31 Canine … MD Bartholomew American Journal of Traditional Chinese Veterinary Medicine 12 (2), 2017 | 3 | 2017 |
| The use of traditional Chinese veterinary medicine in the treatment of 5 cases of neoplastic bone disease M Bartholomew, H Xie American Journal of Traditional Chinese Veterinary Medicine, 45-56, 2018 | 2 | 2018 |
| Answer set programming modulo theories M Bartholomew Arizona State University, 2016 | 2 | 2016 |
| Topical Treatment of a Non-Healing Wound Infected with Multi-Drug Resistant Enterobacter cloacae, Methicillin-resistant Staphylococcus schleiferi and Escherichia coli using the … MD Bartholomew American Journal of Traditional Chinese Veterinary Medicine 12 (2), 2017 | | 2017 |
| A functional view of strong negation in answer set programming M Bartholomew, J Lee arXiv preprint arXiv:1312.6130, 2013 | | 2013 |
| The Role of Functions in the Stable Model Semantics. M Bartholomew Theory Pract. Log. Program. 13 (4-5-Online-Supplement), 2013 | | 2013 |
| First-order extension of the FLP semantics M Bartholomew, J Lee, Y Meng | | 2011 |
| Computing ASPMT Theories by SMT Solvers M Bartholomew, J Lee Logics in Artificial Intelligence, 529, 0 | | |
Joohyung LeeAssociate Professor, Arizona State UniversityDirección de correo verificada de asu.edu
