People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Yuting Zhao Last modified: Thursday December 5, 2002
ASSAT - computing answer sets by using SAT solvers (with my PhD student Yuting Zhao). By adding so-called loop formulas to program completions, we showed that answer sets of a ...
As shown in the paper "ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers" Artificial Intelligence 157(1-2): 115-137 (2004) by Fangzhen Lin and Yuting Zhao (This is ...
ASSAT: Computing Answer Sets of A Logic Program BySAT Solvers Fangzhen Linand Yuting Zhao Department of Computer Science Hong KongUniversity of Science and Technology Clear WaterBay ...
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies Yuting Zhao, IIIS, the Griffith University; Kewen Wang, The Griffith University; Rodney Topor, Griffith ...
Yuting Zhao Last modified: Thursday December 5, 2002
ASSAT - computing answer sets by using SAT solvers (with my PhD student Yuting Zhao). By adding so-called loop formulas to program completions, we showed that answer ...
As shown in the paper "ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers" Artificial Intelligence 157(1-2): 115-137 (2004) by Fangzhen Lin and Yuting Zhao ...
Linkedin