Paper Info
Title
Multi-agent Reactive Systems
Abstract
We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems.Timed concurrent constraint (TCC) programs are extended with the primitives for defining and manipulating ambients that contain TCC programs. The extension is simple and conservative, in the sense that TCC programs are a subset of the new formalism - Mobile Timed Concurrent Constraints (MTCC).
Year
DOI
Venue
2003
10.1007/3-540-36388-2_13
PADL
Keywords
Field
DocType
structured manner,multi-agent reactive systems,concurrent constraint program,complex multiagent reactive system,reactive system,timed concurrent constraint,simple semantic framework,elegant declarative framework,new formalism,concurrent constraints,tcc program
Semantic framework,Knowledge representation and reasoning,Programming language,Concurrency,Computer science,Theoretical computer science,Formalism (philosophy),Conservative extension,Reactive system
Conference
Volume
ISSN
ISBN
2562
0302-9743
3-540-00389-4
Citations 
PageRank 
References 
0
0.34
13
Authors
1
Name
Order
Citations
PageRank
Prahladavaradan Sampath1647.65