Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Iconic indexing by 2-D strings
IEEE Transactions on Pattern Analysis and Machine Intelligence
Visual programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Decoupled simulation in virtual reality with the MR toolkit
ACM Transactions on Information Systems (TOIS)
KidSim: programming agents without a programming language
Communications of the ACM
How might people interact with agents
Communications of the ACM
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic
IEEE Transactions on Knowledge and Data Engineering
A synthetic agent system for Bayesian modeling of human interactions
Proceedings of the third annual conference on Autonomous Agents
Using Communicative Acts to Plan the Cinematographic Structure of Animations
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Distributed Virtual Reality Authoring Interfaces for the WWW: The VR-Shop Case
Multimedia Tools and Applications
Visual specification of behaviours in VRML worlds
Proceedings of the ninth international conference on 3D Web technology
Direct manipulation like tools for designing intelligent virtual agents
Lecture Notes in Computer Science
Applying direct manipulation interfaces to customizing player character behaviour
ICEC'06 Proceedings of the 5th international conference on Entertainment Computing
Hi-index | 0.00 |
The development of virtual agents running within graphic environments which emulate real-life contexts may largely benefit from the use of visual specification by-example. To support this specification, the development system must be able to interpret the examples and cast their underlying rules into an internal representation language. This language must find a suitable trade-off among a number of contrasting requirements regarding expressiveness, automatic executability, and suitability to the automatic representation of rules deriving from the analysis of examples.A language is presented which attains this trade-off by combining together an operational and a declarative fragment to separately represent the autonomous execution of each individual agent and its interaction with the environment, respectively. While the declarative part permits to capture interaction rules emerging from specification examples, the operational part supports the automatic execution in the operation of the virtual environment. A system is presented which embeds this language within a visual shell to support a behavioral training in which the animation rules of virtual agents are defined through visual examples.