Lin, Fangzhen - Department of Computer Science, Hong Kong University of Science and Technology

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Lin, Fangzhen - Department of Computer Science, Hong Kong University of Science and Technology

ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers Fangzhen Lin and Yuting Zhao
On Strongest Necessary and Weakest Sufficient Conditions Fangzhen Lin (flin@cs.ust.hk)
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting