1143 search results - page 212 / 229 » Prospective Logic Agents |
106
click to vote
CIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
108
click to vote
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
109
click to vote
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
139
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
108
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...