Sciweavers

299 search results - page 11 / 60
» Planning with h in Theory and Practice
Sort
View
SIGCSE
2004
ACM
168views Education» more  SIGCSE 2004»
14 years 1 months ago
Design, science, and engineering topics?: teaching HCI with a unified method
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
D. Scott McCrickard, Christa M. Chewar, Jacob P. S...
AUSAI
2004
Springer
14 years 1 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
13 years 7 months ago
Receding horizon control applied to optimal mine planning
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...
Graham C. Goodwin, María M. Seron, Richard ...
KBSE
1998
IEEE
13 years 12 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
DESRIST
2009
Springer
135views Education» more  DESRIST 2009»
13 years 11 months ago
Towards a design theory for online communities
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
David Gurzick, Wayne G. Lutters