10568 search results - page 72 / 2114 » Computer Intelligence and Formalization |
AAAI
1998
14 years 11 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...
FLAIRS
2000
14 years 11 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, ...
AUSAI
2004
Springer
15 years 3 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...
AAAI
2004
14 years 11 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...
MASA
2001
Springer
15 years 2 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...