315 search results - page 35 / 63 » A Declarative Formalization of STRIPS |
151
Voted
SOCASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
132
Voted
ANSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
143
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
126
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
177
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...