160 search results - page 26 / 32 » Applying the Mu-Calculus in Planning and Reasoning about Act... |
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
IEEECIT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
IJCSA
2008
13 years 8 months ago
2008
In this paper we present a practical implementation of a multiuser technical laboratory that combines Artificial Intelligence (AI) and Bluetooth (BT) techniques. The objective is ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...