Projects per year
Fingerprint
Network
Grants
-
A Logic Programming Approach to Integrate Computing with Middle School Science Education
Zhang, Y., Wang, J., Zhang, Y. & Wang, J.
02/15/19 → …
Project: Research
-
A Global Approach Toward Manipulation of Tissue-and Development Stage-specific Gene Expression in Cotton
10/25/13 → …
Project: Research
-
EAGER: Sonifying Security Cues For the Internet Users Who are Visually Impaired
Inan, F., Zhang, Y., Jones, K., Hewett, R. & Siami Namin, A.
09/1/13 → …
Project: Research
Scholarly Research
-
The language of epistemic specifications (refined) including a prototype solver
Kahl, P., Watson, R., Balai, E., Gelfond, M. & Zhang, Y., Jun 5 2020, In: Journal of Logic and Computation. 30, 4, p. 953-989 37 p.Research output: Contribution to journal › Article › peer-review
-
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
Nguyen, V. T., Zhang, Y., Jung, K., Xing, W. & Dang, T., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer, p. 82-91 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12007 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
Nguyen, V. T., Zhang, Y., Jung, K., Xing, W. & Dang, T., Jan 2020.Research output: Contribution to conference › Paper › peer-review
-
A preliminary report of integrating science and computing teaching using logic programming
Zhang, Y., Wang, J., Bolduc, F., Murray, W. G. & Staffen, W., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 9737-9744 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming
Zhang, Y., Wang, J., Bolduc, F., Murray, W. G. & Staffen, W., Jan 2019.Research output: Contribution to conference › Paper › peer-review
Scholarly Activities
-
A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming
Yuanlin Zhang (Speaker)
Jan 1 2019 → Jan 31 2019Activity: Talk or presentation › Other
-
LP Based Integration of Computing and Science Education in Middle Schools
Yuanlin Zhang (Speaker)
May 1 2019 → May 31 2019Activity: Talk or presentation › Other
-
Online SPARC for Drawing and Animation
Yuanlin Zhang (Speaker)
Feb 5 2017Activity: Talk or presentation › Other
-
Logic Programming for an Introductory Computer Science Course for High School Students.
Yuanlin Zhang (Speaker)
Jul 5 2017Activity: Talk or presentation › Other
-
An Online Development Environment for Answer Set Programming
Yuanlin Zhang (Speaker)
Jul 5 2017Activity: Talk or presentation › Oral presentation