5198 search results - page 424 / 1040 » A Logic of Agent Programs |
164
click to vote
ICMAS
2000
15 years 8 months ago
2000
We consider multiple agents who's task is to determine the true state of a uncertain domain so they can act properly. If each agent only has partial knowledge about the domai...
313
click to vote
AAAI
2012
13 years 9 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
172
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
174
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
180
Voted
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...