5290 search results - page 729 / 1058 » Knowledge Processing in Intelligent Systems |
136
click to vote
ICAIL
2003
ACM
15 years 8 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
123
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
138
click to vote
AAAI
1996
15 years 4 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
140
click to vote
MIDDLEWARE
2009
Springer
15 years 7 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
139
click to vote
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...