502 search results - page 27 / 101 » Development and Application of a Formal Agent Framework |
118
click to vote
AGS
2009
Springer
15 years 6 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
106
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
IEEEICCI
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
109
click to vote
FOSSACS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
102
click to vote
FORTE
2004
15 years 1 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...