878 search results - page 42 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
119
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
CIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
105
click to vote
DEON
2010
Springer
15 years 2 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
74
Voted
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
109
Voted
IJWIS
2007
14 years 11 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...