Yuanlin Zhang

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19992020

Research output per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1999

    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 proceedingConference contributionpeer-review

    6 Scopus citations
  • 2006

    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 proceedingConference contributionpeer-review

    11 Scopus citations
  • 2008

    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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    48 Scopus citations
  • 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 proceedingConference contributionpeer-review

    3 Scopus citations
  • 2009

    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 proceedingConference contributionpeer-review

    29 Scopus citations
  • 2010

    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 proceedingConference contributionpeer-review

    1 Scopus citations
  • 2011

    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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    2 Scopus citations
  • 2012

    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 proceedingConference contributionpeer-review

  • 2013

    A logic programming approach to aspect extraction in opinion mining

    Liu, Q., Gao, Z., Liu, B. & Zhang, Y., 2013, Proceedings - 2013 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2013. p. 276-283 8 p. 6690026. (Proceedings - 2013 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2013; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    20 Scopus citations
  • 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 proceedingConference contributionpeer-review

    20 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 proceedingConference contributionpeer-review

    6 Scopus citations
  • 2014

    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 proceedingConference contributionpeer-review

    8 Scopus citations
  • 2015

    Accelerating SAT solving by common subclause elimination

    Yan, Y., Gutierrez, C. E., Jn-Charles, J., Bao, F. S. & Zhang, Y., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 4224-4225 2 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 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 proceedingConference contributionpeer-review

    75 Scopus citations
  • 2016

    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 proceedingConference contributionpeer-review

    3 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 proceedingConference contributionpeer-review

    49 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 proceedingConference contributionpeer-review

    4 Scopus citations
  • 2017

    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 proceedingConference contributionpeer-review

    1 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 proceedingConference contributionpeer-review

    3 Scopus citations
  • 2019

    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 proceedingConference contributionpeer-review

    1 Scopus citations
  • 2020

    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 proceedingConference contributionpeer-review

    3 Scopus citations