AAAI
1997
13 years 11 months ago
1997
AAAI
1997
13 years 11 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
ICMAS
2000
13 years 11 months ago
2000
This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind, suggests ...
ICMAS
2000
13 years 11 months ago
2000
Research on resource-bounded agents has established that rational agents need to be able to revise their commitments in the light of new opportunities. In the context of collabora...
AAAI
1997
13 years 11 months ago
1997
ICMAS
2000
13 years 11 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
ICMAS
2000
13 years 11 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
ICMAS
2000
13 years 11 months ago
2000
We consider multiple agents who's task is to determine the true state of a uncertain domain so they can act properly. If each agent only has partial knowledge about the domai...
ICMAS
2000
13 years 11 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
ICMAS
2000
13 years 11 months ago
2000
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...