10568 search results - page 72 / 2114 » Computer Intelligence and Formalization |
117
Voted
AAAI
1998
15 years 4 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
133
Voted
FLAIRS
2000
15 years 4 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
116
Voted
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
103
Voted
AAAI
2004
15 years 4 months ago
2004
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
126
Voted
MASA
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...