default search action
Yuanlin Zhang 0002
Person information
- affiliation: Texas Tech University, Lubbock, TX, USA
Other persons with the same name
- Yuanlin Zhang 0001 — Xi'an Jiaotong University, School of Electronic and Information Engineering, China
- Yuanlin Zhang 0003
— Chinese Academy of Sciences, Xi'an Institute of Optics and Precision Mechanics, China
- Yuanlin Zhang 0004 — University College Cork, Ireland
- Yuanlin Zhang 0005 — Yantai University, School of Mechatronics and Automobile Engineering, China
- Yuanlin Zhang 0006 — Beihang University, School of Automation Science and Electrical Engineering, Beijing, China
- Yuanlin Zhang 0007 — Yunnan Power Grid Co., Ltd., Mengzi, China
- Yuanlin Zhang 0008 — Chinese Academy of Sciences, Shenyang Institute of Automation, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j17]Yisong Wang
Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. 24(2): 15:1-15:46 (2023) - [c45]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: 15790-15797 - [c44]Yuanlin Zhang
An Integrated Approach to Data Science Foundations in Computing, Mathematics and Statistics. SIGCSE (2) 2023: 1294 - 2022
- [c43]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: 69-80 - [c42]Hanxiang Du, Wanli Xing, Yuanlin Zhang:
Misconception of Abstraction: When to Use an Example and When to Use a Variable? ICER (2) 2022: 28-29 - [c41]Zach Hansen
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers. ICLP Technical Communications / Doctoral Consortium 2022: 12-24 - 2021
- [c40]Zhenhe Pan, Shuang Jiang, Juntao Su, Muzhe Guo
Knowledge graph based platform of COVID-19 drugs and symptoms. ASONAM 2021: 313-316 - [c39]Zhenhe Pan, Taige Wang, Yuanlin Zhang:
COVID-19 SIHR Modeling and Dynamic Analysis. COMPSAC 2021: 1711-1716 - [c38]Hanxiang Du, Wanli Xing, Yuanlin Zhang:
A Debugging Learning Trajectory for Text-Based Programming Learners. ITiCSE (2) 2021: 645 - 2020
- [j16]Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond
The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30(4): 953-989 (2020) - [c37]Zhenhe Pan, Hoang Long Nguyen, Hashim Abu-gellban, Yuanlin Zhang:
Google Trends Analysis of COVID-19 Pandemic. IEEE BigData 2020: 3438-3446 - [c36]Vinh T. Nguyen
VRASP: A Virtual Reality Environment for Learning Answer Set Programming. PADL 2020: 82-91 - [i14]Hoang Long Nguyen, Zhenhe Pan, Hashim Abu-gellban, Fang Jin, Yuanlin Zhang:
Google Trends Analysis of COVID-19. CoRR abs/2011.03847 (2020)
2010 – 2019
- 2019
- [j15]Michael Gelfond
Vicious circle principle, aggregates, and formation of sets in ASP based languages. Artif. Intell. 275: 28-77 (2019) - [j14]Evgenii Balai
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86(1-3): 149-192 (2019) - [j13]Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
Introducing Computer Science to High School Students Through Logic Programming. Theory Pract. Log. Program. 19(2): 204-228 (2019) - [j12]Elias Marcopoulos, Yuanlin Zhang:
onlineSPARC: A Programming Environment for Answer Set Programming. Theory Pract. Log. Program. 19(2): 262-289 (2019) - [c35]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: 9737-9744 - [c34]Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray:
LP Based Integration of Computing and Science Education in Middle Schools. CompEd 2019: 44-50 - 2018
- [j11]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): 439-453 (2018) - [i13]Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
Introducing Computer Science to High School Students through Logic Programming. CoRR abs/1808.03274 (2018) - [i12]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. CoRR abs/1808.07050 (2018) - [i11]Elias Marcopoulos, Yuanlin Zhang:
onlineSPARC: a Programming Environment for Answer Set Programming. CoRR abs/1809.08304 (2018) - 2017
- [c33]Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suárez
Online SPARC for Drawing and Animation. AAAI 2017: 4817-4818 - [c32]Yan Zhang, Yuanlin Zhang:
Epistemic Specifications and Conformant Planning. AAAI Workshops 2017 - [c31]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages. LPNMR 2017: 146-159 - [i10]Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
Logic Programming for an Introductory Computer Science Course for High School Students. CoRR abs/1706.09248 (2017) - [i9]Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang:
An Online Development Environment for Answer Set Programming. CoRR abs/1707.01865 (2017) - 2016
- [j10]Qian Liu
Automated rule selection for opinion target extraction. Knowl. Based Syst. 104: 74-88 (2016) - [c30]Qian Liu
Improving Opinion Aspect Extraction Using Semantic Similarity and Aspect Associations. AAAI 2016: 2986-2992 - [c29]Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang:
An Online Logic Programming Development Environment. AAAI 2016: 4130-4131 - [c28]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: 4132-4133 - [c27]Yuanlin Zhang, Maede Rayatidamavandi:
A Characterization of the Semantics of Logic Programs with Aggregates. IJCAI 2016: 1338-1344 - [i8]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages. CoRR abs/1608.08262 (2016) - 2015
- [c26]Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang:
Accelerating SAT Solving by Common Subclause Elimination. AAAI 2015: 4224-4225 - [c25]Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang:
Automated Rule Selection for Aspect Extraction in Opinion Mining. IJCAI 2015: 1291-1297 - 2014
- [j9]Michael Gelfond
Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. 14(4-5): 587-601 (2014) - [c24]Yuanlin Zhang, Zhizheng Zhang:
Preliminary Result on Finding Treatments for Patients with Comorbidity. KR4HC@VSL 2014: 14-28 - [i7]Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. CoRR abs/1405.3637 (2014) - 2013
- [c23]Wei Li, Yuanlin Zhang, George W. Fitzmaurice:
TutorialPlan: Automated Tutorial Generation from CAD Drawings. IJCAI 2013: 2020-2027 - [c22]Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
Towards Answer Set Programming with Sorts. LPNMR 2013: 135-147 - [c21]Qian Liu
A Logic Programming Approach to Aspect Extraction in Opinion Mining. Web Intelligence 2013: 276-283 - [i6]Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
SPARC - Sorted ASP with Consistency Restoring Rules. CoRR abs/1301.1386 (2013) - 2012
- [j8]Forrest Sheng Bao, Yuanlin Zhang:
A Review of Tree Convex Sets Test. Comput. Intell. 28(3): 358-372 (2012) - [c20]Forrest Sheng Bao, Yuanlin Zhang:
Temporally Expressive Planning Based on Answer Set Programming with Constraints. AAAI 2012: 2413-2414 - 2011
- [j7]Yuanlin Zhang, Roland H. C. Yap:
Solving functional constraints by variable substitution. Theory Pract. Log. Program. 11(2-3): 297-322 (2011) - [c19]Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang:
Medical Treatment Conflict Resolving in Answer Set Programming. AAAI 2011: 1752-1753 - [c18]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: 398-414 - [i5]Roland H. C. Yap, Yuanlin Zhang:
Set Intersection and Consistency in Constraint Networks. CoRR abs/1110.2203 (2011) - 2010
- [c17]Forrest Sheng Bao, Zhixin Xie
Fast Phased Small RNA Cycle Counting Algorithms. BIBE 2010: 130-135 - [i4]Yuanlin Zhang, Roland H. C. Yap:
Solving Functional Constraints by Variable Substitution. CoRR abs/1006.3215 (2010)
2000 – 2009
- 2009
- [j6]Yuanlin Zhang, Satyanarayana Marisetti:
Solving connected row convex constraints by variable elimination. Artif. Intell. 173(12-13): 1204-1219 (2009) - [i3]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 abs/0904.3808 (2009) - [i2]Yuanlin Zhang, Forrest Sheng Bao:
A Survey of Tree Convex Sets Test. CoRR abs/0906.0205 (2009) - 2008
- [j5]Yuanlin Zhang, Eugene C. Freuder:
Properties of tree convex constraints. Artif. Intell. 172(12-13): 1605-1612 (2008) - [j4]Veena S. Mellarkod, Michael Gelfond
Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53(1-4): 251-287 (2008) - [c16]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
An Elimination Algorithm for Functional Constraints. CP 2008: 545-549 - [c15]Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti:
Efficient Algorithms for Functional Constraints. ICLP 2008: 606-620 - [c14]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: 482-486 - [c13]Veena S. Mellarkod, Michael Gelfond
Integrating Answer Programming and Constraint Logic Programming. ISAIM 2008 - [i1]Forrest Sheng Bao, Yuanlin Zhang, Donald Yu-Chun Lie:
Recognition of Epileptic EEG Using Probabilistic Neural Network. CoRR abs/0804.3361 (2008) - 2007
- [c12]Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder:
Arc Consistency during Search. IJCAI 2007: 137-142 - [c11]Yuanlin Zhang:
Fast Algorithm for Connected Row Convex Constraints. IJCAI 2007: 192-197 - 2006
- [j3]Yuanlin Zhang, Roland H. C. Yap:
Set Intersection and Consistency in Constraint Networks. J. Artif. Intell. Res. 27: 441-464 (2006) - [c10]Zhijun Lin, Yuanlin Zhang, Hector Hernandez:
Fast SAT-based Answer Set Solver. AAAI 2006: 92-97 - 2005
- [j2]Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang:
An optimal coarse-grained arc consistency algorithm. Artif. Intell. 165(2): 165-185 (2005) - [c9]Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder:
Maintaining Arc Consistency using Adaptive Domain Ordering. IJCAI 2005: 1527-1528 - 2004
- [c8]Yuanlin Zhang, Eugene C. Freuder:
Tractable Tree Convex Constraint Networks. AAAI 2004: 197-203 - 2003
- [j1]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): 277-279 (2003) - [c7]Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection. IJCAI 2003: 263-270 - 2002
- [c6]Yuanlin Zhang, Roland H. C. Yap:
Consistency and Set Intersection. AAAI/IAAI 2002: 971-972 - [c5]Yuanlin Zhang, Roland H. C. Yap:
Incrementally Solving Functional Constraints. AAAI/IAAI 2002: 973-974 - 2001
- [c4]Yuanlin Zhang, Roland H. C. Yap:
Making AC-3 an Optimal Algorithm. IJCAI 2001: 316-321 - 2000
- [c3]Yuanlin Zhang, Roland H. C. Yap:
Arc Consistency on n-ary Monotonic and Linear Constraints. CP 2000: 470-483
1990 – 1999
- 1999
- [c2]Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar:
Functional Elimination and 0/1/All Constraints. AAAI/IAAI 1999: 175-180 - 1998
- [c1]Yuanlin Zhang, Hui Wu:
Bound Consistency on Linear Constraints in Finite Domain Constraint. ECAI 1998: 265-266
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: