26 search results - page 6 / 6 » A Modest, but Semantically Well Founded, Inheritance Reasone... |
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...