11214 search results - page 344 / 2243 » Programming Multi-agent Systems |
172
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
178
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
180
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
155
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
218
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...