28 search results - page 2 / 6 » ausai 2003 |
AUSAI
2003
Springer
13 years 9 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
AUSAI
2003
Springer
13 years 9 months ago
2003
Springer
RoboCup is an international robot soccer competition that has been running since 1997. A frequent criticism of any such competition is that all of a team’s development is narrowl...
AUSAI
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
AUSAI
2003
Springer
13 years 9 months ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...
AUSAI
2003
Springer
13 years 9 months ago
2003
Springer
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...