Хорн логика бағдарламасы
material
ID: hornlogicprogram
Related Papers
Emergent Parsing and Generation with Generalized Chart
A new, flexible inference method for Horn logic pro- gram is proposed. It is also a drastic gencndization of chart I)aming, partial instaatiation of clauses in a pro- gram ronghly …...