Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Mutually Exclusive Rules in LogicWeb
Keehang Kwon, Daeseong Kang
LogicWeb has traditionally lacked devices for expressing mutually exclusive clauses. We address this limitation by adopting choice-conjunctive clauses of the form $D_0 \adc D_1$ wh…
cs.LO2012
Choice Disjunctive Queries in Logic Programming
Keehang Kwon, Daeseong Kang
One of the long-standing research problems on logic programming is to treat the cut predicate in a logical, high-level way. We argue that this problem can be solved by adopting lin…