Zhang, Yuanlin

23 publications

AAAI 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

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

AAAI 2017 Online SPARC for Drawing and Animation Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suárez, Yuanlin Zhang

IJCAI 2016 A Characterization of the Semantics of Logic Programs with Aggregates Yuanlin Zhang, Maede Rayatidamavandi

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

AAAI 2016 Improving Opinion Aspect Extraction Using Semantic Similarity and Aspect Associations Qian Liu, Bing Liu, Yuanlin Zhang, Doo Soon Kim, Zhiqiang Gao

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

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

IJCAI 2015 Automated Rule Selection for Aspect Extraction in Opinion Mining Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

IJCAI 2013 TutorialPlan: Automated Tutorial Generation from CAD Drawings Wei Li, Yuanlin Zhang, George W. Fitzmaurice

AAAI 2012 Temporally Expressive Planning Based on Answer Set Programming with Constraints Forrest Sheng Bao, Yuanlin Zhang

AAAI 2011 Medical Treatment Conflict Resolving in Answer Set Programming Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

IJCAI 2007 Arc Consistency During Search Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder

IJCAI 2007 Fast Algorithm for Connected Row Convex Constraints Yuanlin Zhang

AAAI 2006 Fast SAT-Based Answer Set Solver Zhijun Lin, Yuanlin Zhang, Hector Hernandez

JAIR 2006 Set Intersection and Consistency in Constraint Networks Yuanlin Zhang, Roland H. C. Yap

IJCAI 2005 Maintaining Arc Consistency Using Adaptive Domain Ordering Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder

AAAI 2004 Tractable Tree Convex Constraint Networks Yuanlin Zhang, Eugene C. Freuder

IJCAI 2003 Consistency and Set Intersection Yuanlin Zhang, Roland H. C. Yap

AAAI 2002 Consistency and Set Intersection Yuanlin Zhang, Roland H. C. Yap

AAAI 2002 Incrementally Solving Functional Constraints Yuanlin Zhang, Roland H. C. Yap

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

AAAI 1999 Functional Elimination and 0/1/All Constraints Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar