Yuanlin Zhang

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 35

Top Topics

Logic Programming

Computer Science

Development Environment

Top Venues

Theory Pract. Log. Program.

Publications

Yuanlin Zhang, Hanxiang Du, Wendy Staffen, Wanli Xing, Joshua Archer
An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics. SIGCSE (2) (2023)
Joshua Archer, Rory Eckel, Joshua Hawkins, Jianlan Wang, Darrel Musslewhite, Yuanlin Zhang
A Study of Students' Learning of Computing through an LP-Based Integrated Curriculum for Middle Schools. AAAI (2023)
Hanxiang Du, Wanli Xing, Bo Pei, Yifang Zeng, Jie Lu, Yuanlin Zhang
Trends and Issues in STEM + C Research: A Bibliometric Perspective. CSEDU (1) (2022)
Hanxiang Du, Wanli Xing, Yuanlin Zhang
Misconception of Abstraction: When to Use an Example and When to Use a Variable? ICER (2) (2022)
Zach Hansen, Hanxiang Du, Wanli Xing, Rory Eckel, Justin Lugo, Yuanlin Zhang
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers. ICLP Technical Communications / Doctoral Consortium (2022)
Zhenhe Pan, Shuang Jiang, Juntao Su, Muzhe Guo, Yuanlin Zhang
Knowledge graph based platform of COVID-19 drugs and symptoms. ASONAM (2021)
Hanxiang Du, Wanli Xing, Yuanlin Zhang
A Debugging Learning Trajectory for Text-Based Programming Learners. ITiCSE (Working Group Reports) (2021)
Zhenhe Pan, Taige Wang, Yuanlin Zhang
COVID-19 SIHR Modeling and Dynamic Analysis. COMPSAC (2021)
Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang
The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30 (4) (2020)
Zhenhe Pan, Hoang Long Nguyen, Hashim Abu-gellban, Yuanlin Zhang
Google Trends Analysis of COVID-19 Pandemic. IEEE BigData (2020)
Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang
VRASP: A Virtual Reality Environment for Learning Answer Set Programming. PADL (2020)
Hoang Long Nguyen, Zhenhe Pan, Hashim Abu-gellban, Fang Jin, Yuanlin Zhang
Google Trends Analysis of COVID-19. CoRR (2020)
Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray, Wendy Staffen
A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming. AAAI (2019)
Elias Marcopoulos, Yuanlin Zhang
onlineSPARC: A Programming Environment for Answer Set Programming. Theory Pract. Log. Program. 19 (2) (2019)
Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray
LP Based Integration of Computing and Science Education in Middle Schools. CompEd (2019)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Michael Gelfond, Yuanlin Zhang
Vicious circle principle, aggregates, and formation of sets in ASP based languages. Artif. Intell. 275 (2019)
Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang
Introducing Computer Science to High School Students Through Logic Programming. Theory Pract. Log. Program. 19 (2) (2019)
Elias Marcopoulos, Yuanlin Zhang
onlineSPARC: a Programming Environment for Answer Set Programming. CoRR (2018)
Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang
Introducing Computer Science to High School Students through Logic Programming. CoRR (2018)
Forrest Sheng Bao, Chris E. Gutierrez, Jeriah Jn-Charles, Yaowei Yan, Yuanlin Zhang
Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination. Artif. Intell. Rev. 49 (3) (2018)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. CoRR (2018)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Formation of Sets in ASP Based Languages. LPNMR (2017)
Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suarez, Yuanlin Zhang
Online SPARC for Drawing and Animation. AAAI (2017)
Yan Zhang, Yuanlin Zhang
Epistemic Specifications and Conformant Planning. AAAI Workshops (2017)
Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang
An Online Development Environment for Answer Set Programming. CoRR (2017)
Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang
Logic Programming for an Introductory Computer Science Course for High School Students. CoRR (2017)
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
Automated rule selection for opinion target extraction. Knowl. Based Syst. 104 (2016)
Maritza Reyes, Cynthia Perez, Rocky Upchurch, Timothy T. Yuen, Yuanlin Zhang
Using Declarative Programming in an Introductory Computer Science Course for High School Students. AAAI (2016)
Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang
An Online Logic Programming Development Environment. AAAI (2016)
Yuanlin Zhang, Maede Rayatidamavandi
A Characterization of the Semantics of Logic Programs with Aggregates. IJCAI (2016)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Formation of Sets in ASP Based Languages. CoRR (2016)
Qian Liu, Bing Liu, Yuanlin Zhang, Doo Soon Kim, Zhiqiang Gao
Improving Opinion Aspect Extraction Using Semantic Similarity and Aspect Associations. AAAI (2016)
Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang
Accelerating SAT Solving by Common Subclause Elimination. AAAI (2015)
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
Automated Rule Selection for Aspect Extraction in Opinion Mining. IJCAI (2015)
Yuanlin Zhang, Zhizheng Zhang
Preliminary Result on Finding Treatments for Patients with Comorbidity. KR4HC@VSL (2014)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. CoRR (2014)
Michael Gelfond, Yuanlin Zhang
Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. 14 (4-5) (2014)
Wei Li, Yuanlin Zhang, George W. Fitzmaurice
TutorialPlan: Automated Tutorial Generation from CAD Drawings. IJCAI (2013)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
SPARC - Sorted ASP with Consistency Restoring Rules CoRR (2013)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Towards Answer Set Programming with Sorts. LPNMR (2013)
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
A Logic Programming Approach to Aspect Extraction in Opinion Mining. Web Intelligence (2013)
Forrest Sheng Bao, Yuanlin Zhang
Temporally Expressive Planning Based on Answer Set Programming with Constraints. AAAI (2012)
Forrest Sheng Bao, Yuanlin Zhang
A Review of Tree Convex Sets Test. Comput. Intell. 28 (3) (2012)
Yuanlin Zhang, Roland H. C. Yap
Solving functional constraints by variable substitution. Theory Pract. Log. Program. 11 (2-3) (2011)
Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Roland H. C. Yap, Yuanlin Zhang
Set Intersection and Consistency in Constraint Networks CoRR (2011)
Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang
Medical Treatment Conflict Resolving in Answer Set Programming. AAAI (2011)
Forrest Sheng Bao, Zhixin Xie, Yuanlin Zhang
Fast Phased Small RNA Cycle Counting Algorithms. BIBE (2010)
Yuanlin Zhang, Roland H. C. Yap
Solving Functional Constraints by Variable Substitution CoRR (2010)
Yuanlin Zhang, Satyanarayana Marisetti
Solving connected row convex constraints by variable elimination. Artif. Intell. 173 (12-13) (2009)
Forrest Sheng Bao, Jue-Ming Gao, Jing Hu, Donald Yu-Chun Lie, Yuanlin Zhang, K. J. Oommen
Automated Epilepsy Diagnosis Using Interictal Scalp EEG CoRR (2009)
Yuanlin Zhang, Forrest Sheng Bao
A Survey of Tree Convex Sets Test CoRR (2009)
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
An Elimination Algorithm for Functional Constraints. CP (2008)
Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti
Efficient Algorithms for Functional Constraints. ICLP (2008)
Forrest Sheng Bao, Yuanlin Zhang, Donald Yu-Chun Lie
Recognition of Epileptic EEG Using Probabilistic Neural Network CoRR (2008)
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
Integrating Answer Programming and Constraint Logic Programming. ISAIM (2008)
Yuanlin Zhang, Eugene C. Freuder
Properties of tree convex constraints. Artif. Intell. 172 (12-13) (2008)
Forrest Sheng Bao, Donald Yu-Chun Lie, Yuanlin Zhang
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network. ICTAI (2) (2008)
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Yuanlin Zhang
Fast Algorithm for Connected Row Convex Constraints. IJCAI (2007)
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder
Arc Consistency during Search. IJCAI (2007)
Yuanlin Zhang, Roland H. C. Yap
Set Intersection and Consistency in Constraint Networks. J. Artif. Intell. Res. 27 (2006)
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
Fast SAT-based Answer Set Solver. AAAI (2006)
Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder
Maintaining Arc Consistency using Adaptive Domain Ordering. IJCAI (2005)
Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang
An optimal coarse-grained arc consistency algorithm. Artif. Intell. 165 (2) (2005)
Yuanlin Zhang, Eugene C. Freuder
Tractable Tree Convex Constraint Networks. AAAI (2004)
Yuanlin Zhang, Roland H. C. Yap
Consistency and Set Intersection. IJCAI (2003)
Yuanlin Zhang, Roland H. C. Yap
Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. J. ACM 50 (3) (2003)
Yuanlin Zhang, Roland H. C. Yap
Consistency and Set Intersection. AAAI/IAAI (2002)
Yuanlin Zhang, Roland H. C. Yap
Incrementally Solving Functional Constraints. AAAI/IAAI (2002)
Yuanlin Zhang, Roland H. C. Yap
Making AC-3 an Optimal Algorithm. IJCAI (2001)
Yuanlin Zhang, Roland H. C. Yap
-ary Monotonic and Linear Constraints. CP (2000)
Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar
Functional Elimination and 0/1/All Constraints. AAAI/IAAI (1999)
Yuanlin Zhang, Hui Wu
Bound Consistency on Linear Constraints in Finite Domain Constraint. ECAI (1998)