Bound Consistency on Linear Constraints in Finite Domain Constraint. - Yuanlin Zhang 002; Hui Wu (ECAI, 1998)

Functional Elimination and 0/1/All Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Joxan Jaffar (AAAI/IAAI, 1999)

Arc Consistency on n-ary Monotonic and Linear Constraints. - Yuanlin Zhang 002; Roland H. C. Yap (CP, 2000)

Making AC-3 an Optimal Algorithm. - Yuanlin Zhang 002; Roland H. C. Yap (IJCAI, 2001)

Consistency and Set Intersection. - Yuanlin Zhang 002; Roland H. C. Yap (AAAI/IAAI, 2002)

Incrementally Solving Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap (AAAI/IAAI, 2002)

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. - Yuanlin Zhang 002; Roland H. C. Yap (J. ACM, 2003)

Tractable Tree Convex Constraint Networks. - Yuanlin Zhang 002; Eugene C. Freuder (AAAI, 2004)

Maintaining Arc Consistency using Adaptive Domain Ordering. - Chavalit Likitvivatanavong; Yuanlin Zhang 002; James Bowen; Eugene C. Freuder (IJCAI, 2005)

An optimal coarse-grained arc consistency algorithm. - Christian Bessière; Jean-Charles Régin; Roland H. C. Yap; Yuanlin Zhang 002 (Artif. Intell., 2005)

Fast SAT-based Answer Set Solver. - Zhijun Lin; Yuanlin Zhang 002; Hector Hernandez (AAAI, 2006)

Set Intersection and Consistency in Constraint Networks. - Yuanlin Zhang 002; Roland H. C. Yap (J. Artif. Intell. Res., 2006)

Arc Consistency during Search. - Chavalit Likitvivatanavong; Yuanlin Zhang 002; Scott Shannon; James Bowen; Eugene C. Freuder (IJCAI, 2007)

Fast Algorithm for Connected Row Convex Constraints. - Yuanlin Zhang 002 (IJCAI, 2007)

An Elimination Algorithm for Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Chendong Li; Satyanarayana Marisetti (CP, 2008)

Efficient Algorithms for Functional Constraints. - Yuanlin Zhang 002; Roland H. C. Yap; Chendong Li; Satyanarayana Marisetti (ICLP, 2008)

A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network. - Forrest Sheng Bao; Donald Yu-Chun Lie; Yuanlin Zhang 002 (ICTAI (2), 2008)

Integrating Answer Programming and Constraint Logic Programming. - Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 002 (ISAIM, 2008)

Properties of tree convex constraints. - Yuanlin Zhang 002; Eugene C. Freuder (Artif. Intell., 2008)

Integrating answer set programming and constraint logic programming. - Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 002 (Ann. Math. Artif. Intell., 2008)

Recognition of Epileptic EEG Using Probabilistic Neural Network - Forrest Sheng Bao; Yuanlin Zhang 002; Donald Yu-Chun Lie (CoRR, 2008)

Solving connected row convex constraints by variable elimination. - Yuanlin Zhang 002; Satyanarayana Marisetti (Artif. Intell., 2009)

Automated Epilepsy Diagnosis Using Interictal Scalp EEG - Forrest Sheng Bao; Jue-Ming Gao; Jing Hu; Donald Yu-Chun Lie; Yuanlin Zhang 002; K. J. Oommen (CoRR, 2009)

A Survey of Tree Convex Sets Test - Yuanlin Zhang 002; Forrest Sheng Bao (CoRR, 2009)

Fast Phased Small RNA Cycle Counting Algorithms. - Forrest Sheng Bao; Zhixin Xie; Yuanlin Zhang 002 (BIBE, 2010)

Medical Treatment Conflict Resolving in Answer Set Programming. - Forrest Sheng Bao; Zhizheng Zhang 002; Yuanlin Zhang 002 (AAAI, 2011)

A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. - Forrest Sheng Bao; Sandeep Chintabathina; A. Ricardo Morales; Nelson Rushton; Richard Watson 003; Yuanlin Zhang 002 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Solving functional constraints by variable substitution. - Yuanlin Zhang 002; Roland H. C. Yap (Theory Pract. Log. Program., 2011)

Temporally Expressive Planning Based on Answer Set Programming with Constraints. - Forrest Sheng Bao; Yuanlin Zhang 002 (AAAI, 2012)

A Review of Tree Convex Sets Test. - Forrest Sheng Bao; Yuanlin Zhang 002 (Comput. Intell., 2012)

TutorialPlan: Automated Tutorial Generation from CAD Drawings. - Wei Li 002; Yuanlin Zhang 002; George W. Fitzmaurice (IJCAI, 2013)

Towards Answer Set Programming with Sorts. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (LPNMR, 2013)

A Logic Programming Approach to Aspect Extraction in Opinion Mining. - Qian Liu; Zhiqiang Gao; Bing Liu 001; Yuanlin Zhang 002 (Web Intelligence, 2013)

SPARC - Sorted ASP with Consistency Restoring Rules - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (CoRR, 2013)

Preliminary Result on Finding Treatments for Patients with Comorbidity. - Yuanlin Zhang 002; Zhizheng Zhang 002 (KR4HC@VSL, 2014)

Vicious Circle Principle and Logic Programs with Aggregates. - Michael Gelfond; Yuanlin Zhang 002 (Theory Pract. Log. Program., 2014)

Accelerating SAT Solving by Common Subclause Elimination. - Yaowei Yan; Chris E. Gutierrez; Jeriah Jn-Charles; Forrest Sheng Bao; Yuanlin Zhang 002 (AAAI, 2015)

Automated Rule Selection for Aspect Extraction in Opinion Mining. - Qian Liu; Zhiqiang Gao; Bing Liu 001; Yuanlin Zhang 002 (IJCAI, 2015)

Improving Opinion Aspect Extraction Using Semantic Similarity and Aspect Associations. - Qian Liu; Bing Liu 001; Yuanlin Zhang 002; Doo Soon Kim; Zhiqiang Gao (AAAI, 2016)

An Online Logic Programming Development Environment. - Christian Reotutar; Mbathio Diagne; Evgenii Balai; Edward Wertz; Peter Lee; Shao-Lon Yeh; Yuanlin Zhang 002 (AAAI, 2016)

Using Declarative Programming in an Introductory Computer Science Course for High School Students. - Maritza Reyes; Cynthia Perez; Rocky Upchurch; Timothy T. Yuen; Yuanlin Zhang 002 (AAAI, 2016)

A Characterization of the Semantics of Logic Programs with Aggregates. - Yuanlin Zhang 002; Maede Rayatidamavandi (IJCAI, 2016)

Automated rule selection for opinion target extraction. - Qian Liu; Zhiqiang Gao; Bing Liu 001; Yuanlin Zhang 002 (Knowl. Based Syst., 2016)

Online SPARC for Drawing and Animation. - Elias Marcopoulos; Maede Rayatidamavandi; Crisel Suárez; Yuanlin Zhang 002 (AAAI, 2017)

Epistemic Specifications and Conformant Planning. - Yan Zhang; Yuanlin Zhang 002 (AAAI Workshops, 2017)

Vicious Circle Principle and Formation of Sets in ASP Based Languages. - Michael Gelfond; Yuanlin Zhang 002 (LPNMR, 2017)

An Online Development Environment for Answer Set Programming. - Elias Marcopoulos; Christian Reotutar; Yuanlin Zhang 002 (CoRR, 2017)

Logic Programming for an Introductory Computer Science Course for High School Students. - Timothy T. Yuen; Maritza Reyes; Yuanlin Zhang 002 (CoRR, 2017)

Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination. - Forrest Sheng Bao; Chris E. Gutierrez; Jeriah Jn-Charles; Yaowei Yan; Yuanlin Zhang 002 (Artif. Intell. Rev., 2018)

A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming. - Yuanlin Zhang 002; Jianlan Wang; Fox Bolduc; William G. Murray; Wendy Staffen (AAAI, 2019)

LP Based Integration of Computing and Science Education in Middle Schools. - Yuanlin Zhang 002; Jianlan Wang; Fox Bolduc; William G. Murray (CompEd, 2019)

Vicious circle principle, aggregates, and formation of sets in ASP based languages. - Michael Gelfond; Yuanlin Zhang 002 (Artif. Intell., 2019)

P-log: refinement and a new coherency condition. - Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (Ann. Math. Artif. Intell., 2019)

onlineSPARC: A Programming Environment for Answer Set Programming. - Elias Marcopoulos; Yuanlin Zhang 002 (Theory Pract. Log. Program., 2019)

Introducing Computer Science to High School Students Through Logic Programming. - Timothy T. Yuen; Maritza Reyes; Yuanlin Zhang 002 (Theory Pract. Log. Program., 2019)

Google Trends Analysis of COVID-19 Pandemic. - Zhenhe Pan; Hoang Long Nguyen 002; Hashim Abu-gellban; Yuanlin Zhang 002 (IEEE BigData, 2020)

VRASP: A Virtual Reality Environment for Learning Answer Set Programming. - Vinh T. Nguyen 001; Yuanlin Zhang 002; Kwanghee Jung; Wanli Xing; Tommy Dang (PADL, 2020)

Google Trends Analysis of COVID-19. - Hoang Long Nguyen 002; Zhenhe Pan; Hashim Abu-gellban; Fang Jin; Yuanlin Zhang 002 (CoRR, 2020)

The language of epistemic specifications (refined) including a prototype solver. - Patrick Kahl; Richard Watson 003; Evgenii Balai; Michael Gelfond; Yuanlin Zhang 002 (J. Log. Comput., 2020)

Knowledge graph based platform of COVID-19 drugs and symptoms. - Zhenhe Pan; Shuang Jiang; Juntao Su; Muzhe Guo; Yuanlin Zhang 002 (ASONAM, 2021)

COVID-19 SIHR Modeling and Dynamic Analysis. - Zhenhe Pan; Taige Wang; Yuanlin Zhang 002 (COMPSAC, 2021)

A Debugging Learning Trajectory for Text-Based Programming Learners. - Hanxiang Du; Wanli Xing; Yuanlin Zhang 002 (ITiCSE (2), 2021)

Trends and Issues in STEM + C Research: A Bibliometric Perspective. - Hanxiang Du; Wanli Xing; Bo Pei; Yifang Zeng; Jie Lu; Yuanlin Zhang 002 (CSEDU (1), 2022)

Misconception of Abstraction: When to Use an Example and When to Use a Variable? - Hanxiang Du; Wanli Xing; Yuanlin Zhang 002 (ICER (2), 2022)

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers. - Zach Hansen; Hanxiang Du; Wanli Xing; Rory Eckel; Justin Lugo; Yuanlin Zhang 002 (ICLP Technical Communications / Doctoral Consortium, 2022)

A Study of Students' Learning of Computing through an LP-Based Integrated Curriculum for Middle Schools. - Joshua Archer; Rory Eckel; Joshua Hawkins; Jianlan Wang; Darrel Musslewhite; Yuanlin Zhang 002 (AAAI, 2023)

An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics. - Yuanlin Zhang 002; Hanxiang Du; Wendy Staffen; Wanli Xing; Joshua Archer (SIGCSE (2), 2023)

Witnesses for Answer Sets of Logic Programs. - Yisong Wang; Thomas Eiter; Yuanlin Zhang 002; Fangzhen Lin (ACM Trans. Comput. Log., 2023)