5623 search results - page 5 / 1125 » Incremental Mechanism Design |
ICLP
2009
Springer
14 years 10 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...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
KBS
1998
13 years 9 months ago
1998
One problem with using CBR for diagnosis is that a full case description may not be available at the beginning of the diagnosis. The standard CBR methodology requires a detailed c...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
AAAI
2006
13 years 11 months ago
2006
