207 search results - page 34 / 42 » Debugging Logic Programs under the Answer Set Semantics |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
80
Voted
LPNMR
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
85
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
71
Voted
ENTCS
2007
14 years 9 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
AGP
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...