8232 search results - page 53 / 1647 » Dynamic Logic Programming |
96
Voted
AIIA
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
115
Voted
ENTCS
2006
15 years 2 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
115
click to vote
AUIC
2000
IEEE
15 years 6 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
156
Voted
JOLLI
2010
14 years 9 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
121
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...