We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
Chris Reed, Timothy J. Norman, Nicholas R. Jenning...
Chinese NE (Named Entity) recognition is a difficult problem because of the uncertainty in word segmentation and flexibility in language structure. This paper proposes the use of ...
This short paper presents a methodological framework for commentaries from various sources on the same texts allowing them to be assembeled in an intelligent and coherent way. Cat...
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...