Research Interests

  • Integration of STEM and Computing Learning/Teaching in K-16. AI Inspired Learning
  • Knowledge representation and reasoning: Languages, Semantics, Efficient Reasoning Algorithms and System, Modeling Methodologies, Hybrid Knowledge Representation and Reasoning.
  • Declarative Programming Paradigm: Logic Programming and Answer Set Programming, Constraint Programming and Probabilistic Reasoning (P-log).
  • AI applications in Healthcare problems and Sentiment Analysis (Aspect extraction)

 

Teaching

Introduction to Artificial Intelligence

Theory of Automata

Principles of Constraint Programming

Introduction to Programming Principles

Logic for Computer Scientist

Special topics in Artificial Intelligence

††

Projects

       Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students (NSF DRL-2201393, 2201394)

       A Logic Programming Approach to Integrating Computing with Middle School Science Education (NSF DRL-1901704)

       Multimorbidity, Clinical Practice Guidelines and Automated Reasoning (where you can find publications, source code and web applications)

 

Publications (selected)††

Yuanlin Zhang, Roland H. C. Yap. Solving Functional Constraints by Variable Elimination. Theory and Practice of Logic Programming, accepted, 2010

Yuanlin Zhang, Satyanarayana Marisetti. Solving connected row convex constraints by variable elimination. Artificial Intelligence 173 (12-13): 1204-1219, 2009

Yuanlin Zhang, Eugene C. Freuder: Properties of tree convex constraints. Artificial Intelligence 172(12-13): 1605-1612, 2008

Veena S. Mellarkod, Michael Gelfond, and Yuanlin Zhang. Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence 53: 251-287, 2008.

Yuanlin Zhang and Roland H. C. Yap. Set Intersection and Consistency in Constraint Networks. Journal of Artificial Intelligence Research, 27, 441-464, 2006

Zhijun Lin, Yuanlin Zhang, and Hector Hernandez. Fast SAT-based Answer Set Solver, In Proceedings of AAAI-2006. [PDF]

Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder. Maintaining arc consistency using adaptive domain ordering, In Proceedings of IJCA-2005. [PDF]

Christian Bessiere, Jean-Charles Regin, Roland H.C. Yap and Yuanlin Zhang. An optimal coarse-grained arc consistency algorithm. Artificial Intelligence Journal 165(2): 165-185, 2005, [PDF]

Yuanlin Zhang and Roland Yap. Consistency and Set Intersection. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03),Acapulco, Mexico, 2003. [PDF]

Yuanlin Zhang and Roland Yap. Erratum: P. van Beek and R. Dechterís Theorem on Constraint Looseness and Local Consistency. Journal of the ACM, vol. 50, num 3, 2003, pp 277-279. [PDF]

Bio

Yuanlin Zhang studied Computer Science and Engineering in East-China Institute of Technology and Mathematics in Nanjing University, Nanjing, China. He obtained his doctoral degree in Computer Science from National University of Singapore. He was a research staff at Cork Constraint Computation Center in University College Cork, Cork, Ireland, before he joined the faculty of Computer Science Department of Texas Tech University, Lubbock, Texas. His research work is mainly on various aspects of Knowledge Representation and Reasoning (KR) of AI including language, semantics, algorithm, systems and applications. His recent work is focusing on AI (KR) based integration of the teaching and learning of STEM subjects and Computing. His research has been published in premier AI venues including AI journal and AAAI conference and supported by NSF.

More information can be found in his CV.