Yuanlin Zhang - RankMe

77 papers A* 19A 4B 5C 2Misc 1Journal 31Unranked 15

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