2138 search results - page 301 / 428 » Logical Step-Indexed Logical Relations |
185
click to vote
ASP
2005
Springer
16 years 8 hour ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
158
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
176
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
159
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
156
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...