Yuanlin Zhang

According to our database, Yuanlin Zhang authored at least 68 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Witnesses for Answer Sets of Logic Programs.

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin

ACM Trans. Comput. Log., April, 2023

An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics.

Yuanlin Zhang, Hanxiang Du, Wendy Staffen, Wanli Xing, Joshua Archer

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

Misconception of Abstraction: When to Use an Example and When to Use a Variable?

Hanxiang Du, Wanli Xing, Yuanlin Zhang

Proceedings of the ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event Switzerland, August 7, 2022

Trends and Issues in STEM + C Research: A Bibliometric Perspective.

Hanxiang Du, Wanli Xing, Bo Pei, Yifang Zeng, Jie Lu, Yuanlin Zhang

Proceedings of the 14th International Conference on Computer Supported Education, 2022

2021

A Debugging Learning Trajectory for Text-Based Programming Learners.

Hanxiang Du, Wanli Xing, Yuanlin Zhang

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

COVID-19 SIHR Modeling and Dynamic Analysis.

Zhenhe Pan, Taige Wang, Yuanlin Zhang

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Knowledge graph based platform of COVID-19 drugs and symptoms.

Zhenhe Pan, Shuang Jiang, Juntao Su, Muzhe Guo, Yuanlin Zhang

Proceedings of the ASONAM '21: International Conference on Advances in Social Networks Analysis and Mining, Virtual Event, The Netherlands, November 8, 2021

2020

The language of epistemic specifications (refined) including a prototype solver.

Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang

J. Log. Comput., 2020

Google Trends Analysis of COVID-19.

Hoang Long Nguyen, Zhenhe Pan, Hashim Abu-gellban, Fang Jin, Yuanlin Zhang

CoRR, 2020

VRASP: A Virtual Reality Environment for Learning Answer Set Programming.

Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang

Proceedings of the Practical Aspects of Declarative Languages, 2020

Google Trends Analysis of COVID-19 Pandemic.

Zhenhe Pan, Hoang Long Nguyen, Hashim Abu-gellban, Yuanlin Zhang

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Introducing Computer Science to High School Students Through Logic Programming.

Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang

Theory Pract. Log. Program., 2019

onlineSPARC: A Programming Environment for Answer Set Programming.

Elias Marcopoulos, Yuanlin Zhang

Theory Pract. Log. Program., 2019

P-log: refinement and a new coherency condition.

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Ann. Math. Artif. Intell., 2019

Vicious circle principle, aggregates, and formation of sets in ASP based languages.

Michael Gelfond, Yuanlin Zhang

Artif. Intell., 2019

LP Based Integration of Computing and Science Education in Middle Schools.

Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray

Proceedings of the ACM Conference on Global Computing Education, 2019

A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming.

Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray, Wendy Staffen

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination.

Forrest Sheng Bao, Chris E. Gutierrez, Jeriah Jn-Charles, Yaowei Yan, Yuanlin Zhang

Artif. Intell. Rev., 2018

2017

Logic Programming for an Introductory Computer Science Course for High School Students.

Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang

CoRR, 2017

An Online Development Environment for Answer Set Programming.

Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang

CoRR, 2017

Vicious Circle Principle and Formation of Sets in ASP Based Languages.

Michael Gelfond, Yuanlin Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Epistemic Specifications and Conformant Planning.

Yan Zhang, Yuanlin Zhang

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Online SPARC for Drawing and Animation.

Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suárez, Yuanlin Zhang

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Automated rule selection for opinion target extraction.

Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

Knowl. Based Syst., 2016

A Characterization of the Semantics of Logic Programs with Aggregates.

Yuanlin Zhang, Maede Rayatidamavandi

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

An Online Logic Programming Development Environment.

Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Improving Opinion Aspect Extraction Using Semantic Similarity and Aspect Associations.

Qian Liu, Bing Liu, Yuanlin Zhang, Doo Soon Kim, Zhiqiang Gao

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Automated Rule Selection for Aspect Extraction in Opinion Mining.

Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Accelerating SAT Solving by Common Subclause Elimination.

Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Vicious Circle Principle and Logic Programs with Aggregates.

Michael Gelfond, Yuanlin Zhang

Theory Pract. Log. Program., 2014

Preliminary Result on Finding Treatments for Patients with Comorbidity.

Yuanlin Zhang, Zhizheng Zhang

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

2013

SPARC - Sorted ASP with Consistency Restoring Rules

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

CoRR, 2013

A Logic Programming Approach to Aspect Extraction in Opinion Mining.

Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013

Towards Answer Set Programming with Sorts.

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

TutorialPlan: Automated Tutorial Generation from CAD Drawings.

Wei Li, Yuanlin Zhang, George W. Fitzmaurice

Proceedings of the IJCAI 2013, 2013

2012

A Review of Tree Convex Sets Test.

Forrest Sheng Bao, Yuanlin Zhang

Comput. Intell., 2012

Temporally Expressive Planning Based on Answer Set Programming with Constraints.

Forrest Sheng Bao, Yuanlin Zhang

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Solving functional constraints by variable substitution.

Yuanlin Zhang, Roland H. C. Yap

Theory Pract. Log. Program., 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, Yuanlin Zhang

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Medical Treatment Conflict Resolving in Answer Set Programming.

Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Fast Phased Small RNA Cycle Counting Algorithms.

Forrest Sheng Bao, Zhixin Xie, Yuanlin Zhang

Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010

2009

A Survey of Tree Convex Sets Test

Yuanlin Zhang, Forrest Sheng Bao

CoRR, 2009

Automated Epilepsy Diagnosis Using Interictal Scalp EEG

Forrest Sheng Bao, Jue-Ming Gao, Jing Hu, Donald Yu-Chun Lie, Yuanlin Zhang, K. J. Oommen

CoRR, 2009

Solving connected row convex constraints by variable elimination.

Yuanlin Zhang, Satyanarayana Marisetti

Artif. Intell., 2009

2008

Recognition of Epileptic EEG Using Probabilistic Neural Network

Forrest Sheng Bao, Yuanlin Zhang, Donald Yu-Chun Lie

CoRR, 2008

Integrating answer set programming and constraint logic programming.

Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang

Ann. Math. Artif. Intell., 2008

Properties of tree convex constraints.

Yuanlin Zhang, Eugene C. Freuder

Artif. Intell., 2008

Integrating Answer Programming and Constraint Logic Programming.

Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network.

Forrest Sheng Bao, Donald Yu-Chun Lie, Yuanlin Zhang

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Efficient Algorithms for Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Proceedings of the Logic Programming, 24th International Conference, 2008

An Elimination Algorithm for Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Fast Algorithm for Connected Row Convex Constraints.

Yuanlin Zhang

Proceedings of the IJCAI 2007, 2007

Arc Consistency during Search.

Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder

Proceedings of the IJCAI 2007, 2007

2006

Set Intersection and Consistency in Constraint Networks.

Yuanlin Zhang, Roland H. C. Yap

J. Artif. Intell. Res., 2006

Fast SAT-based Answer Set Solver.

Zhijun Lin, Yuanlin Zhang, Hector Hernandez

Proceedings of the Proceedings, 2006

2005

An optimal coarse-grained arc consistency algorithm.

Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang

Artif. Intell., 2005

Maintaining Arc Consistency using Adaptive Domain Ordering.

Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Tractable Tree Convex Constraint Networks.

Yuanlin Zhang, Eugene C. Freuder

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.

Yuanlin Zhang, Roland H. C. Yap

J. ACM, 2003

2002

Incrementally Solving Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Consistency and Set Intersection.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Making AC-3 an Optimal Algorithm.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Arc Consistency on <i>n</i>-ary Monotonic and Linear Constraints.

Yuanlin Zhang, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Functional Elimination and 0/1/All Constraints.

Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Bound Consistency on Linear Constraints in Finite Domain Constraint.

Yuanlin Zhang, Hui Wu

Proceedings of the 13th European Conference on Artificial Intelligence, 1998