Programming Multi-Agent Systems Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers /
Programming Multi-Agent Systems Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers / [electronic resource] :
edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff.
- 1st ed. 2008.
- XII, 267 p. online resource.
- Lecture Notes in Artificial Intelligence, 4908 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 4908 .
Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions -- Interoperability for Bayesian Agents in the Semantic Web -- The A&A Programming Model and Technology for Developing Agent Environments in MAS -- A Practical Agent Programming Language -- A Common Semantic Basis for BDI Languages -- Adding Structure to Agent Programming Languages -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition -- Developing a Team of Gold Miners Using Jason -- Going for Gold with 2APL -- Collecting Gold -- JIAC IV in Multi-Agent Programming Contest 2007 -- An Agent Team Based on FLUX for the ProMAS Contest 2007.
9783540790433
10.1007/978-3-540-79043-3 doi
Artificial intelligence.
Computer networks .
Software engineering.
Computer science.
Compilers (Computer programs).
Artificial Intelligence.
Computer Communication Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Q334-342 TA347.A78
006.3
Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions -- Interoperability for Bayesian Agents in the Semantic Web -- The A&A Programming Model and Technology for Developing Agent Environments in MAS -- A Practical Agent Programming Language -- A Common Semantic Basis for BDI Languages -- Adding Structure to Agent Programming Languages -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition -- Developing a Team of Gold Miners Using Jason -- Going for Gold with 2APL -- Collecting Gold -- JIAC IV in Multi-Agent Programming Contest 2007 -- An Agent Team Based on FLUX for the ProMAS Contest 2007.
9783540790433
10.1007/978-3-540-79043-3 doi
Artificial intelligence.
Computer networks .
Software engineering.
Computer science.
Compilers (Computer programs).
Artificial Intelligence.
Computer Communication Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Q334-342 TA347.A78
006.3