878 search results - page 44 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
172
click to vote
ASC
2007
15 years 10 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
111
click to vote
ATAL
2010
Springer
15 years 2 days ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
118
click to vote
AAAI
2012
13 years 2 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
105
click to vote
AAAI
2010
15 years 1 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...