Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
In this paper, we propose to apply an NA-tree in the Chord system to encode spatial region data in the data key part used in the hash function to data search. That is, we combine t...
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
Yang Liu, Jon Timmis, Omer Qadir, Gianluca Tempest...
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...