3090 search results - page 156 / 618 » On Testing Answer-Set Programs |
107
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
186
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
128
click to vote
AAAI
2008
15 years 7 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
137
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
152
click to vote
IJAIT
2000
15 years 4 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...