5084 search results - page 685 / 1017 » Proving Possibility Properties |
182
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
193
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
179
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
181
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
As spoken language interfaces for real-world systems become a practical possibility, it has become apparent that such interfaces will need to draw on a variety of cues from divers...
172
click to vote
EPIA
1995
Springer
15 years 10 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...