Sciweavers

22 search results - page 5 / 5
» The Influence of k-Dependence on the Complexity of Planning
Sort
View
IJCAI
1993
15 years 28 days ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
104
Voted
ISJ
2006
134views more  ISJ 2006»
14 years 11 months ago
Relative importance of evaluation criteria for enterprise systems: a conjoint study
Abstract. While a large body of research exists on the development and implementation of software, organizations are increasingly acquiring enterprise software packages [e.g. enter...
Mark Keil, Amrit Tiwana