175 search results - page 24 / 35 » Applying Inexpensive AI Techniques to Computer Games |
83
Voted
EXPERT
2006
14 years 9 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
AI
2000
Springer
14 years 9 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
69
Voted
EJWCN
2010
14 years 4 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
95
Voted
DSOM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
79
Voted
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
Partially observable decentralized decision making in robot teams is fundamentally different from decision making in fully observable problems. Team members cannot simply apply si...