62 search results - page 13 / 13 » On the logical definability of certain graph and poset langu... |
169
click to vote
ICLP
2009
Springer
16 years 7 days 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...
129
click to vote
TLDI
2010
ACM
14 years 11 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...