875 search results - page 11 / 175 » Reasoning about Knowledge and Continuity |
AIPS
2003
14 years 11 months ago
2003
We examine the issues that arise in extending an estimatedregression (ER) planner to reason about autonomous processes that run and have continuous and discrete effects without th...
IEAAIE
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
COREGRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
DOLAP
2005
ACM
14 years 11 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...