4595 search results - page 559 / 919 » Reasoning about Plans |
161
click to vote
CPAIOR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...
205
click to vote
DALT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
148
click to vote
EMO
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
185
click to vote
ESAW
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Exceptions occur frequently in supply-chains. Consequently, detecting exceptions timely is of great practical value. To enable a timely detection of exceptions, this pape...
140
click to vote
FM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...