3342 search results - page 373 / 669 » Automating Abstract Interpretation |
124
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
139
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
abstract Due to the large scale of Grid environment and its rapid expansion, both in Grid resources and Grid network environment, it is getting more imperative to provide a Grid m...
138
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
122
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
132
click to vote
KI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...