No photo of Yuanlin Zhang

View Scopus Profile

Yuanlin Zhang

Calculated based on number of publications stored in Pure and citations from Scopus
19992023

Research activity per year

Search results

  • Conference contribution

    An elimination algorithm for functional constraints

    Zhang, Y., Yap, R. H. C., Li, C. & Marisetti, S., 2008, Principles and Practice of Constraint Programming - 14th International Conference, CP 2008, Proceedings. p. 545-549 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5202 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A new approach to automated epileptic diagnosis using EEG and probabilistic neural network

    Bao, F. S., Lie, D. Y. C. & Zhang, Y., 2008, Proceedings - 20th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'08. p. 482-486 5 p. 4669813. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    57 Scopus citations

  • An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics

    Zhang, Y., Du, H., Staffen, W., Xing, W. & Archer, J., Mar 6 2023, SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, Inc, p. 1294 1 p. (SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • An online logic programming development environment

    Reotutar, C., Diagne, M., Balai, E., Wertz, E., Lee, P., Yeh, S. L. & Zhang, Y., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 4130-4131 2 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 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., 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

    7 Scopus citations

  • A refinement of the language of epistemic specifications

    Kahl, P., Watson, R., Gelfond, M. & Zhang, Y., 2014, Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014. Computing Research Repository (CoRR), (Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • A Study of Students' Learning of Computing through an LP-Based Integrated Curriculum for Middle Schools

    Archer, J., Eckel, R., Hawkins, J., Wang, J., Musslewhite, D. & Zhang, Y., Jun 27 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 15790-15797 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A temporally expressive planner based on answer set programming with constraints: Preliminary design

    Bao, F. S., Chintabathina, S., Morales, A. R., Rushton, N., Watson, R. & Zhang, Y., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. p. 398-414 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Automated epilepsy diagnosis using interictal scalp EEG

    Bao, F. S., Gao, J. M., Hu, J., Lie, D. Y. C., Zhang, Y. & Oommen, K. J., 2009, Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009. IEEE Computer Society, p. 6603-6607 5 p. 5332550. (Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    41 Scopus citations

  • Automated rule selection for aspect extraction in opinion mining

    Liu, Q., Gao, Z., Liu, B. & Zhang, Y., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1291-1297 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    126 Scopus citations

  • Covid-19 SIHR modeling and dynamic analysis

    Pan, Z., Wang, T. & Zhang, Y., Jul 2021, Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021. Chan, W. K., Claycomb, B., Takakura, H., Yang, J-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1711-1716 6 p. (Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Efficient algorithms for functional constraints

    Zhang, Y., Yap, R. H. C., Li, C. & Marisetti, S., 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 606-620 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Epistemic specifications and conformant planning

    Zhang, Y. & Zhang, Y., 2017, WS-17-01: Artificial Intelligence and Operations Research for Social Good; WS-17-02: Artificial Intelligence, Ethics, and Society; WS-17-03: Artificial Intelligence for Connected and Automated Vehicles; WS-17-04: Artificial Intelligence for Cyber Security; WS-17-05: Artificial Intelligence for Smart Grids and Buildings; WS-17-06: Computer Poker and Imperfect Information Games; WS-17-07: Crowdsourcing, Deep Learning and Artificial Intelligence Agents; WS-17-08: Distributed Machine Learning; WS-17-09: Joint Workshop on Health Intelligence; WS-17-10: Human-Aware Artificial Intelligence; WS-17-11: Human-Machine Collaborative Learning; WS-17-12: Knowledge-Based Techniques for Problem Solving and Reasoning; WS-17-13: Plan, Activity, and Intent Recognition; WS-17-14: Symbolic Inference and Optimization; WS-17-15: What's Next for AI in Games?. AI Access Foundation, p. 781-787 7 p. (AAAI Workshop - Technical Report; vol. WS-17-01 - WS-17-15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Fast phased small RNA cycle counting algorithms

    Bao, F. S., Xie, Z. & Zhang, Y., 2010, 10th IEEE International Conference on Bioinformatics and Bioengineering 2010, BIBE 2010. p. 130-135 6 p. 5521702. (10th IEEE International Conference on Bioinformatics and Bioengineering 2010, BIBE 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Fast SAT-based answer set solver

    Lin, Z., Zhang, Y. & Hemandez, H., 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. p. 92-97 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Functional elimination and 0/1/All constraints

    Zhang, Y., Yap, R. H. C. & Jaffar, J., 1999, Proceedings of the National Conference on Artificial Intelligence. AAAI, p. 175-180 6 p. (Proceedings of the National Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Google Trends Analysis of COVID-19 Pandemic

    Pan, Z., Nguyen, H. L., Abu-Gellban, H. & Zhang, Y., Dec 10 2020, Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020. Wu, X., Jermaine, C., Xiong, L., Hu, X. T., Kotevska, O., Lu, S., Xu, W., Aluru, S., Zhai, C., Al-Masri, E., Chen, Z. & Saltz, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3438-3446 9 p. 9377852. (Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Improving opinion aspect extraction using semantic similarity and aspect associations

    Liu, Q., Liu, B., Zhang, Y., Kim, D. S. & Gao, Z., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2986-2992 7 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    90 Scopus citations

  • Knowledge graph based platform of COVID-19 drugs and symptoms

    Pan, Z., Jiang, S., Su, J., Guo, M. & Zhang, Y., Nov 8 2021, Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2021. Coscia, M., Cuzzocrea, A. & Shu, K. (eds.). Association for Computing Machinery, Inc, p. 313-316 4 p. (Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • LP Based Integration of Computing and Science Education in Middle Schools

    Zhang, Y., Wang, J., Bolduc, F. & Murray, W. G., May 9 2019, CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education. Association for Computing Machinery, Inc, p. 44-50 7 p. (CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Medical treatment conflict resolving in answer set programming

    Bao, F. S., Zhang, Z. & Zhang, Y., 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 1752-1753 2 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Medical Treatment Conflict Resolving in Answer Set Programming

    Bao, F. S., Zhang, Z. & Zhang, Y., Aug 11 2011, Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI press, p. 1752-1753 2 p. (Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Misconception of Abstraction: When to Use an Example and When to Use a Variable?

    Du, H., Xing, W. & Zhang, Y., Aug 7 2022, ICER 2022 - Proceedings of the 2022 ACM Conference on International Computing Education Research. Association for Computing Machinery, Inc, p. 28-29 2 p. (ICER 2022 - Proceedings of the 2022 ACM Conference on International Computing Education Research; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Preliminary result on finding treatments for patients with comorbidity

    Zhang, Y. & Zhang, Z., 2014, Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers. Teije, A. T., Miksch, S. & Riaño, D. (eds.). Springer-Verlag, p. 14-28 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8903).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Relationship between cerebral perfusion and EEG in the rat brain

    Oommen, K. J., Oommen, J. A., Lie, D. Y. C., Imam, S., Chyu, M. & Zhang, Y., 2011, 2011 5th International IEEE/EMBS Conference on Neural Engineering, NER 2011. p. 174-177 4 p. 5910516. (2011 5th International IEEE/EMBS Conference on Neural Engineering, NER 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Temporally expressive planning based on answer set programming with constraints

    Bao, F. S. & Zhang, Y., 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 2413-2414 2 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards answer set programming with sorts

    Balai, E., Gelfond, M. & Zhang, Y., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 135-147 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    28 Scopus citations

  • Trends and Issues in STEM + C Research: A Bibliometric Perspective

    Du, H., Xing, W., Pei, B., Zeng, Y., Lu, J. & Zhang, Y., 2022, Proceedings of the 14th International Conference on Computer Supported Education - Volume 1, CSEDU 2022. Cukurova, M., Rummel, N., Gillet, D., McLaren, B. & Uhomoibhi, J. (eds.). Science and Technology Publications, Lda, p. 69-80 12 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • TutorialPlan: Automated tutorial generation from CAD drawings

    Li, W., Zhang, Y. & Fitzmaurice, G., 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 2020-2027 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Using declarative programming in an introductory computer science course for high school students

    Reyes, M., Perez, C., Upchurch, R., Yuen, T. & Zhang, Y., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 4132-4133 2 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Vicious circle principle and formation of sets in ASP based languages

    Gelfond, M. & Zhang, Y., 2017, Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. Balduccini, M. & Janhunen, T. (eds.). Springer-Verlag, p. 146-159 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10377 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
  • Paper

    Accelerating SAT Solving by Common Subclause Elimination

    Yan, Y., Gutiérrez, C., Jn-Charles, J., Bao, F. S. & Zhang, Y., Feb 2015.

    Research output: Contribution to conference › Paper › peer-review

  • A Characterization of the Semantics of Logic Programs with Aggregates

    Zhang, Y. & Rayatidamavandi, M., Jul 2016.

    Research output: Contribution to conference › Paper › peer-review

  • A Debugging Learning Trajectory for Text-Based Programming Learners

    Du, H., Xing, W. & Zhang, Y., Jun 2021.

    Research output: Contribution to conference › Paper › peer-review

  • A Logic Programming Approach to Aspect Extraction in Opinion Mining

    Liu, Q., Gao, Z., Liu, B. & Zhang, Y., 2013.

    Research output: Contribution to conference › Paper

  • A Model to Minimizing Trade-offs Between FDT and On-land-operational Costs

    Gerardo, D. L. O., Matis, T. & Zhang, Y., 2009.

    Research output: Contribution to conference › Paper

  • An Elimination Algorithm for Functional Constraints

    Zhang, Y., Yap, R. H. C., Li, C. & Marisetti, S., 2008.

    Research output: Contribution to conference › Paper

  • A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network

    Bao, F. S., Lie, Y-C. & Zhang, Y., 2008.

    Research output: Contribution to conference › Paper

  • An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics

    Zhang, Y., Du, H., Staffen, W., Xing, W. & Archer, J., 2023.

    Research output: Contribution to conference › Paper › peer-review

  • An Online Development Environment for Answer Set Programming.

    Marcopoulos, E., Reotutar, C. & Zhang, Y., Jul 2017.

    Research output: Contribution to conference › Paper › peer-review

  • A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers.

    Hansen, Z., Du, H., Eckel, R., Lugo, J., Xing, W. & Zhang, Y., 2022.

    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., Jan 2019.

    Research output: Contribution to conference › Paper › peer-review

  • Arc Consistency during Search

    Likitvivatanavong, C., Zhang, Y., Bowen, J., Freuder, E. C. & Shannon, S., 2007.

    Research output: Contribution to conference › Paper

  • A Refinement of the Language of Epistemic Specifications

    Kahl, P. T., Watson, R., Gelfond, M. & Zhang, Y., Jul 2014.

    Research output: Contribution to conference › Paper › peer-review

  • A Study of Students' Learning of Computing Through a Logic Programming Based Integrated Curriculum for Middle Schools.

    Archer, J., Eckel, R., Hawkins, J., Wang, J., Musslewhite, D. & Zhang, Y., Jul 2022.

    Research output: Contribution to conference › Paper › peer-review

  • A transition system for AC language algorithms

    Lierler, Y. & Zhang, Y., 2011.

    Research output: Contribution to conference › Paper › peer-review

    3 Scopus citations

  • Automated Rule Selection for Aspect Extraction in Opinion Mining

    Liu, Q., Gao, Z., Liu, B. & Zhang, Y., Jul 2015.

    Research output: Contribution to conference › Paper › peer-review

  • A Web-Based Program for Generating Electroencephalographic (EEG) Reports

    Li, Y., Oommen, K. J., Chyu, M-C. & Zhang, Y., 2011.

    Research output: Contribution to conference › Paper › peer-review

  • Consistency and set intersection

    Zhang, Y. & Yap, R. H. C., 2002, p. 971-972. 2 p.

    Research output: Contribution to conference › Paper › peer-review

  • Efficient Algorithms for Functional Constraints

    Zhang, Y., 2008.

    Research output: Contribution to conference › Paper