15 citations · 34 across the 14 of their papers we have counts for
1 paper · 1 filter
W. Drabent, J. Maluszynski
A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas…