3342 search results - page 269 / 669 » Automating Abstract Interpretation |
110
Voted
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
130
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
105
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
119
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
106
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...