ATAL 2008 - PDF Preprint Papers

ATAL 2008 Intelligent Agents II

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ATAL-2008 Paper

click to vote

ATAL
2008
Springer

243views Intelligent Agents» more ATAL 2008»

eCAT: a tool for automating test cases generation and execution in testing multi-agent systems

14 years 2 months ago

Download www.aamas-conference.org

We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...

Duy Cu Nguyen, Anna Perini, Paolo Tonella

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	243	eCAT: a tool for automating test cases generation and execution in testing multi-agent systems	claim
2	223	CAMNEP: agent-based network intrusion detection system	claim
3	201	Approximate bidding algorithms for a distributed combinatorial auction	claim
4	197	Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games	claim
5	197	BDI-agents for agile goal-oriented business processes	claim
6	188	Being a part of the crowd: towards validating VR crowds using presence	claim
7	188	A temporal logic for Markov chains	claim
8	186	Modeling parallel and reactive empathy in virtual agents: an inductive approach	claim
9	185	Constitutive interoperability	claim
10	184	Sequential decision making with untrustworthy service providers	claim
11	180	Autonomous virtual humans and lower animals: from biomechanics to intelligence	claim
12	180	Automated global-to-local programming in 1-D spatial multi-agent systems	claim
13	180	On the usefulness of opponent modeling: the Kuhn Poker case study	claim
14	178	AGENTFLY: a multi-agent airspace test-bed	claim
15	177	A multi-agent simulation system for prediction and scheduling of aero engine overhaul	claim
16	176	Analysis of an evolutionary reinforcement learning method in a multiagent domain	claim
17	173	A domain specific modeling language for multiagent systems	claim
18	171	A best-first anytime algorithm for computing optimal coalition structures	claim
19	170	Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems	claim
20	168	An agent-oriented approach to support change propagation in software evolution	claim
21	166	Multi-agent approach to network intrusion detection	claim
22	166	A mobile agent approach to opportunistic harvesting in wireless sensor networks	claim
23	165	Comparing winner determination algorithms for mixed multi-unit combinatorial auctions	claim
24	163	An agent-based electrical power market	claim
25	162	Aligning social welfare and agent preferences to alleviate traffic congestion	claim
26	162	Creating crowd variation with the OCEAN personality model	claim
27	161	Belief operations for motivated BDI agents	claim
28	161	An approach to online optimization of heuristic coordination algorithms	claim
29	160	Sequential decision making in repeated coalition formation under uncertainty	claim
30	160	Tags and image scoring for robust cooperation	claim
31	159	The identification of users by relational agents	claim
32	158	Dynamic Bayesian network based interest estimation for visual attentive presentation agents	claim
33	158	Copeland voting: ties matter	claim
34	157	Checking correctness of business contracts via commitments	claim
35	157	LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM	claim
36	156	The effects of market-making on price dynamics	claim
37	156	Teaching multi-robot coordination using demonstration of communication and state sharing	claim
38	156	Decentralised Structural Adaptation in Agent Organisations	claim
39	155	Approximate predictive state representations	claim
40	155	Using multi-agent potential fields in real-time strategy games	claim
41	154	Computationally-efficient winner determination for mixed multi-unit combinatorial auctions	claim
42	154	A 'companion' ECA with planning and activity modelling	claim
43	154	Multi-agent plan diagnosis and negotiated repair	claim
44	154	INGENIAS development kit: a visual multi-agent system development environment	claim
45	153	Social norm emergence in virtual agent societies	claim
46	153	A coordination mechanism for swarm navigation: experiments and analysis	claim
47	153	WADE: a software platform to develop mission critical applications exploiting agents and workflows	claim
48	152	Norm emergence under constrained interactions in diverse societies	claim
49	152	A context-aware personal desktop assistant	claim
50	151	Graph Laplacian based transfer learning in reinforcement learning	claim
51	150	Continual collaborative planning for mixed-initiative action and interaction	claim
52	150	Categorizing Social Norms in a Simulated Resource Gathering Society	claim
53	149	Evacuation guide system based on massively multiagent system	claim
54	148	Anonymity-proof Shapley value: extending shapley value for coalitional games in open environments	claim
55	148	A heads-up no-limit Texas Hold'em poker player: discretized betting models and automatically generated equilibrium-finding programs	claim
56	148	Agent-based models for animal cognition: a proposal and prototype	claim
57	147	Exploiting locality of interaction in factored Dec-POMDPs	claim
58	147	A statistical relational model for trust learning	claim
59	147	A cooperation-based approach for evolution of service ontologies	claim
60	147	On k-optimal distributed constraint optimization algorithms: new bounds and algorithms	claim
61	147	Role-based teamwork activity recognition in observations of embodied agent actions	claim
62	147	Approximating mixed Nash equilibria using smooth fictitious play in simultaneous auctions	claim
63	147	Pan-supplier stock control in a virtual warehouse	claim
64	146	Adaptive Kanerva-based function approximation for multi-agent systems	claim
65	146	Mobile opportunistic commerce: mechanisms, architecture, and application	claim
66	145	BnB-ADOPT: an asynchronous branch-and-bound DCOP algorithm	claim
67	145	Searching for approximate equilibria in empirical games	claim
68	145	Artificial agents learning human fairness	claim
69	144	Multi-robot Markov random fields	claim
70	143	Dancing the night away: controlling a virtual karaoke dancer by multimodal expressive cues	claim
71	143	Automated unit testing intelligent agents in PDT	claim
72	142	Modeling how humans reason about others with partial information	claim
73	142	A model of gaze for the purpose of emotional expression in virtual embodied agents	claim
74	142	MADeM: a multi-modal decision making for social MAS	claim
75	142	Evaluating the performance of DCOP algorithms in a real world, dynamic problem	claim
76	142	OpCog: an industrial development approach for cognitive agent systems in military UAV applications	claim
77	141	Reasoning about agent execution strategies	claim
78	141	An improved dynamic programming algorithm for coalition structure generation	claim
79	141	The intermediary agent's brain: supporting learning to collaborate at the inter-personal level	claim
80	141	Automatic Generation of Distributed Team Formation Algorithms from Organizational Models	claim
81	140	Approximating power indices	claim
82	140	Agent-based simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation	claim
83	140	AERIAL: hypothetical trajectory planning for multi-UAVs coordination and control	claim
84	140	An embodied conversational agent as a lifestyle advisor	claim
85	139	Trackside DEIRA: a dynamic engaging intelligent reporter agent	claim
86	139	A tractable and expressive class of marginal contribution nets and its applications	claim
87	139	Discovering tactical behavior patterns supported by topological structures in soccer agent domains	claim
88	138	Semantic matchmaking of web services using model checking	claim
89	138	Coalitional skill games	claim
90	138	Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies	claim
91	138	Towards Improved Partner Selection Using Recommendations and Trust	claim
92	138	Force Versus Majority: A Comparison in Convention Emergence Efficiency	claim
93	137	Modelling coalitions: ATL + argumentation	claim
94	137	An adaptive probabilistic trust model and its evaluation	claim
95	137	Extending agent languages for autonomy	claim
96	136	Distinctiveness in multimodal behaviors	claim
97	136	Interaction-driven Markov games for decentralized multiagent planning under uncertainty	claim
98	136	Decentralised coordination of low-power embedded devices using the max-sum algorithm	claim
99	136	Efficient multi-agent reinforcement learning through automated supervision	claim
100	135	Exploiting organisational information for service coordination in multiagent systems	claim
101	135	Self-interested database managers playing the view maintenance game	claim
102	135	Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport	claim
103	134	Emerging coordination in infinite team Markov games	claim
104	134	MB-AIM-FSI: a model based framework for exploiting gradient ascent multiagent learners in strategic interactions	claim
105	133	A broader picture of the complexity of strategic behavior in multi-winner elections	claim
106	133	Transfer of task representation in reinforcement learning using policy-based proto-value functions	claim
107	133	Decentralized coordination of automated guided vehicles	claim
108	133	Combining Job and Team Selection Heuristics	claim
109	132	Ontology-based test generation for multiagent systems	claim
110	131	Politeness and alignment in dialogues with a virtual guide	claim
111	131	Selecting strategies using empirical game models: an experimental analysis of meta-strategies	claim
112	131	A new perspective to the keepaway soccer: the takers	claim
113	131	Cooperative search for optimizing pipeline operations	claim
114	131	Agent-based coordination technologies in disaster management	claim
115	131	Cognitive agents with non-monotonic reasoning	claim
116	130	An empathic virtual dialog agent to improve human-machine interaction	claim
117	130	Verifying time, memory and communication bounds in systems of reasoning agents	claim
118	130	Solving two-person zero-sum repeated games of incomplete information	claim
119	130	Emotional reading of medical texts using conversational agents	claim
120	130	Searching and sharing information in networks of heterogeneous agents	claim
121	130	An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems	claim
122	129	Characterizing effective auction mechanisms: insights from the 2007 TAC market design competition	claim
123	129	Resource limitations, transmission costs and critical thresholds in scale-free networks	claim
124	129	Coalition game-based distributed coverage of unknown environments by robot swarms	claim
125	128	Simultaneously modeling humans' preferences and their beliefs about others' preferences	claim
126	128	Zero-intelligence agents in prediction markets	claim
127	128	Internal models and private multi-agent belief revision	claim
128	128	Learning to interact: connecting perception with action in virtual environments	claim
129	128	Decommitment in multi-resource negotiation	claim
130	128	Coordination in ambiguity: coordinated active localization for multiple robots	claim
131	127	Autonomous transfer for reinforcement learning	claim
132	127	The design of a generic framework for integrating ECA components	claim
133	127	A realistic model of frequency-based multi-robot polyline patrolling	claim
134	127	Regulating air traffic flow with coupled agents	claim
135	127	Convergence at prominent agents: a non-flat synchronization model of situated multi-agents	claim
136	127	Resource constrained distributed constraint optimization using resource constraint free pseudo-tree	claim
137	126	An adaptive and customizable feedback system for VR-based training simulators	claim
138	126	Efficient approximate inference in distributed Bayesian networks for MAS-based sensor interpretation	claim
139	126	A Hybrid Reputation Model Based on the Use of Organizations	claim
140	126	Using SOA Provenance to Implement Norm Enforcement in e-Institutions	claim
141	125	An adaptive agent model for self-organizing MAS	claim
142	125	Content-oriented composite service negotiation with complex preferences	claim
143	124	Social reward shaping in the prisoner's dilemma	claim
144	123	Sigma point policy iteration	claim
145	123	Coalitions and announcements	claim
146	123	Distributed multiagent resource allocation in diminishing marginal return domains	claim
147	123	Case studies for contract-based systems	claim
148	123	Argumentation-based agents for eProcurement	claim
149	123	GS3 and Tartanian: game theory-based heads-up limit and no-limit Texas Hold'em poker-playing programs	claim
150	122	An anytime approximation method for the inverse Shapley value problem	claim
151	122	Agent communication in ubiquitous computing: the Ubismart approach	claim
152	122	Automated design of scoring rules by learning from examples	claim
153	122	Using organization knowledge to improve routing performance in wireless multi-agent networks	claim
154	122	Max-sum decentralised coordination for sensor systems	claim
155	121	Multi agent based simulation of transport chains	claim
156	121	A new approach to cooperative pathfinding	claim
157	121	Teaching sequential tasks with repetition through demonstration	claim
158	121	DCOPolis: a framework for simulating and deploying distributed constraint reasoning algorithms	claim
159	120	Simulation of individual spontaneous reactive behavior	claim
160	120	If I were you: double appraisal in affective agents	claim
161	120	Autonomic multi-agent management of power and performance in data centers	claim
162	119	Undominated VCG redistribution mechanisms	claim
163	119	Do humans identify efficient strategies in structured peer-to-peer systems?	claim
164	119	Colored trails: a multiagent system testbed for decision-making research	claim
165	119	Experimental Evaluation of Deceptive Information Filtering in Context-Aware Service Selection	claim
166	118	Conjunctive queries for ontology based agent communication in MAS	claim
167	118	A flexible framework for verifying agent programs	claim
168	118	Supervision and diagnosis of joint actions in multi-agent plans	claim
169	118	A preliminary result on a representative-based multi-round protocol for multi-issue negotiations	claim
170	117	Formalising Situatedness and Adaptation in Electronic Institutions	claim
171	116	Towards background emotion modeling for embodied virtual agents	claim
172	116	Controlling deliberation in a Markov decision process-based agent	claim
173	116	Negotiating task interruptions with virtual agents for health behavior change	claim
174	116	So tell me what happened: turning agent-based interactive drama into comics	claim
175	115	Towards verifying compliance in agent-based web service compositions	claim
176	115	Switching dynamics of multi-agent learning	claim
177	115	Towards a reliable air traffic control	claim
178	115	Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms	claim
179	114	Complexity of terminating preference elicitation	claim
180	114	Simulating human behaviors in agent societies	claim
181	114	Shared focus of attention for heterogeneous agents	claim
182	114	Simulation of sensor-based tracking in Second Life	claim
183	113	Strategic betting for competitive agents	claim
184	113	Extending virtual organizations to improve trust mechanisms	claim
185	113	OperettA: a prototype tool for the design, analysis and development of multi-agent organizations	claim
186	112	Generalized Adaptive A*	claim
187	112	iCat: an affective game buddy based on anticipatory mechanisms	claim
188	112	Coordination of first responders under communication and resource constraints	claim
189	112	Autonomous agent learning using an actor-critic algorithm and behavior models	claim
190	112	SEAGENT MAS platform development environment	claim
191	112	Combining Cognitive with Computational Trust Reasoning	claim
192	111	Cost-based BDI plan selection for change propagation	claim
193	111	Computer science and game theory	claim
194	111	Autonomous geocaching: navigation and goal finding in outdoor domains	claim
195	111	Optimal-in-expectation redistribution mechanisms	claim
196	111	Goals in agent systems: a unifying framework	claim
197	111	Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction	claim
198	111	Nonuniform bribery	claim
199	111	Emotionally based multi-agent e-commerce platform	claim
200	110	A few good agents: multi-agent social learning	claim
201	110	Flexible service provisioning with advance agreements	claim
202	110	Quantifying over coalitions in epistemic logic	claim
203	110	Towards agents participating in realistic multi-unit sealed-bid auctions	claim
204	110	Robust and efficient plan recognition for dynamic multi-agent teams	claim
205	110	The intensity of perceived emotions in 3D virtual humans	claim
206	110	Towards a Formalisation of Electronic Contracting Environments	claim
207	109	Decentralized algorithms for collision avoidance in airspace	claim
208	109	Reusing models in multi-agent simulation with software components	claim
209	109	Divide and conquer: false-name manipulations in weighted voting games	claim
210	109	Individual differences in expressive response: a challenge for ECA design	claim
211	109	RIAACT: a robust approach to adjustable autonomy for human-multiagent teams	claim
212	109	Verifying Social Expectations by Model Checking Truncated Paths	claim
213	109	Transgression and Atonement	claim
214	108	Self-organized flocking with a mobile robot swarm	claim
215	108	Incorporating user utility into sponsored-search auctions	claim
216	108	Stable cooperation in changing environments	claim
217	108	Dynamic scheduling of multi-media streams in home automation systems	claim
218	107	Influence of social relationships on multiagent persuasion	claim
219	107	Automatic induction of generalization hierarchies for reinforcement learning	claim
220	107	The Use of Norms Violations to Model Agents Behavioral Variety	claim
221	106	Engineering large-scale distributed auctions	claim
222	106	Using adaptive consultation of experts to improve convergence rates in multiagent learning	claim
223	106	Winner determination in combinatorial auctions with logic-based bidding languages	claim
224	105	Dynamics based control with PSRs	claim
225	105	Value-based observation compression for DEC-POMDPs	claim
226	105	A model of contingent planning for agent programming languages	claim
227	105	Demonstration of multi-agent potential fields in real-time strategy games	claim
228	105	Exploring Robustness in the Context of Organizational Self-design	claim
229	104	SmartBody: behavior realization for embodied conversational agents	claim
230	104	Suspending and resuming tasks in BDI agents	claim
231	104	Evolutionary dynamics for designing multi-period auctions	claim
232	104	Abstractions for model-checking game-theoretic properties of auctions	claim
233	104	Expediting RL by using graphical structures	claim
234	103	The permutable POMDP: fast solutions to POMDPs for preference elicitation	claim
235	103	On the importance of migration for fairness in online grid markets	claim
236	102	Does the contingency of agents' nonverbal feedback affect users' social anxiety?	claim
237	102	Using enthymemes in an inquiry dialogue system	claim
238	102	iCat, the chess player: the influence of embodiment in the enjoyment of a game	claim
239	101	Identifying beneficial teammates using multi-dimensional trust	claim
240	101	Modeling and managing collective cognitive convergence	claim
241	101	Optimized algorithms for multi-agent routing	claim
242	101	Methods for complex single-mind architecture designs	claim
243	100	A distributed normative infrastructure for situated multi-agent organisations	claim
244	100	Autonomic machine control: a case study	claim
245	100	JCAT: a platform for the TAC market design competition	claim
246	100	Agreeing on Institutional Goals for Multi-agent Societies	claim
247	99	Not all agents are equal: scaling up distributed POMDPs for agent networks	claim
248	99	Mechanism design for abstract argumentation	claim
249	99	Non-linear dynamics in multiagent reinforcement learning algorithms	claim
250	99	Agent-community-network-based business matching and collaboration support system	claim
251	98	Goal generation with relevant and trusted beliefs	claim
252	98	The senior companion multiagent dialogue system	claim
253	97	Robust normative systems	claim
254	97	Towards bidirectional distributed matchmaking	claim
255	97	Coordination of AGVs in an industrial environment	claim
256	96	Model-checking agent refinement	claim
257	96	Incentives in effort games	claim
258	96	What should the agent know?: the challenge of capturing human knowledge	claim
259	96	Designing human-computer multi-agent collaboration in productive multi-player games	claim
260	96	Strategyproof deterministic lotteries under broadcast communication	claim
261	96	Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes	claim
262	95	Sensing-based shape formation on modular multi-robot systems: a theoretical study	claim
263	94	ERIC: a generic rule-based framework for an affective embodied commentary agent	claim
264	94	AIM: autonomous intersection management	claim
265	93	Heuristics for negotiation schedules in multi-plan optimization	claim
266	93	Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems	claim
267	93	openSDK: an open-source implementation of OPEN-R	claim
268	93	Modelling, analysis and execution of multi-robot tasks using petri nets	claim
269	92	Integrating heterogeneous agent programming platforms within artifact-based environments	claim
270	92	Opponent modelling in automated multi-issue negotiation using Bayesian learning	claim
271	92	Programming agents as a means of capturing self-strategy	claim
272	92	The conclusion of contracts by software agents in the eyes of the law	claim
273	92	Stochastic search methods for nash equilibrium approximation in simulation-based games	claim
274	92	Specifying and enforcing norms in artificial institutions	claim
275	92	Achieving efficient and equitable collaboration among selfish agents using spender-signed currency	claim
276	92	Urban form-making through biased agent interaction	claim
277	91	A decentralized approach to cooperative situation assessment in multi-robot systems	claim
278	91	Cooperative Boolean games	claim
279	91	Physical parameter optimization in swarms of ultra-low complexity agents	claim
280	90	Synthesis of strategies from interaction traces	claim
281	90	Theoretical and experimental results on the goal-plan tree problem	claim
282	90	Transitioning multiagent technology to UAV applications	claim
283	90	Electronic contracting in aircraft aftercare: a case study	claim
284	90	Electronic institutions development environment	claim
285	89	A scalable and distributed model for self-organization and self-healing	claim
286	89	Mitigating catastrophic failure at intersections of autonomous vehicles	claim
287	89	Synchronization protocols for reliable communication in fully distributed agent systems	claim
288	88	No-regret learning and a mechanism for distributed multiagent planning	claim
289	88	Evaluation of election outcomes under uncertainty	claim
290	88	Replacing the stop sign: unmanaged intersection control for autonomous vehicles	claim
291	88	Robust team-play in highly uncertain environments	claim
292	87	An interactive platform for auction-based allocation of loads in transportation logistics	claim
293	86	The impact of adversarial knowledge on adversarial planning in perimeter patrol	claim
294	86	Game-theoretic recommendations: some progress in an uphill battle	claim
295	86	A multi-agent platform for auction-based allocation of loads in transportation logistics	claim
296	85	Adaptive multi-robot wide-area exploration and mapping	claim
297	85	Understanding how people design trading agents over time	claim
298	85	User's gestural exploration of different virtual agents' expressive profiles	claim
299	85	Multi-agent search using sensors with heterogeneous capabilities	claim
300	84	Business process interoperability: extended abstract	claim
301	83	Fairness in multi-agent systems	claim
302	82	Trajectories of goods in distributed allocation	claim
303	82	Determining the top-k nodes in social networks using the Shapley value	claim
304	81	Models and algorithmic approaches for cooperative multi-robot systems: thesis abstract	claim
305	81	A Context-Based Institutional Normative Environment	claim
306	80	Trading off solution cost for smaller runtime in DCOP search algorithms	claim
307	77	The utility of temporal abstraction in reinforcement learning	claim
308	77	Petri net plans: a formal model for representation and execution of multi-robot plans	claim
309	74	Power and stability in connectivity games	claim
310	74	Learning task-specific trust decisions	claim
311	74	Designing convivial digital cities	claim
312	71	Conviviality masks in multiagent systems	claim
313	70	Reaction functions for task allocation to cooperative agents	claim
314	69	Negotiation by induction	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers