Folgen
Michael Bartholomew
Michael Bartholomew
Graduate Student of Computer Science, Arizona State University
Bestätigte E-Mail-Adresse bei asu.edu
Titel
Zitiert von
Zitiert von
Jahr
Stable models of formulas with intensional functions
M Bartholomew, J Lee
Thirteenth International Conference on the Principles of Knowledge …, 2012
412012
System aspmt2smt: Computing ASPMT Theories by SMT Solvers
M Bartholomew, J Lee
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
362014
Functional stable model semantics and answer set programming modulo theories
M Bartholomew, J Lee
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
242013
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
212011
First-order semantics of aggregates in answer set programming via modified circumscription
M Bartholomew, J Lee, Y Meng
2011 AAAI Spring Symposium Series, 2011
162011
On the stable model semantics for intensional functions
M Bartholomew, J Lee
Theory and Practice of Logic Programming 13 (4-5), 863-876, 2013
142013
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
92010
Stable models of multi-valued formulas: Partial versus total functions
M Bartholomew, J Lee
Fourteenth International Conference on the Principles of Knowledge …, 2014
82014
First-order stable model semantics with intensional functions
M Bartholomew, J Lee
Artificial Intelligence 273, 56-93, 2019
62019
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
32017
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
22018
Answer set programming modulo theories
M Bartholomew
Arizona State University, 2016
22016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17