Session 1:

Wednesday, July 27
10:30-12:30

session 1a: embodied, emotional, believable agents

Papers:

  • 814: Exploiting a sensed environment to improve human-agent communication
    William E. Schuler, Tim Miller, Shana Watters, Praveen Balachandran, Richard Voyles
  • 494: The Use of Emotions to create Believable Agents in a Virtual Environment
    Karthi Selvarajah, Debbie Richards
  • 587: ALMA - A Layered Model of Affect
    Patrick Gebhard
  • 695: Believable Groups of Synthetic Characters
    Prada Rui, Ana Paiva
  • 540: Thespian: Using Multi-Agent Fitting to Craft Interactive Drama
    Mei Si, Stacy Marsella, David Pynadath

Posters:

  • 374: Design and Evaluation of Expressive Gesture Synthesis for Embodied Conversational Agents
    Bjoern Hartmann, Maurizio Mancini, Stéphanie Buisine, Catherine Pelachaud
  • 383: Controlling the Focus of Perceptual Attention in Embodied Conversational Agents
    Youngjun Kim, Randall Hill, David Traum
  • 400: Evaluating the Interaction with Synthetic Agents Using Attention and Affect Tracking
    Helmut Prendinger, Chunling Ma, Mitsuru Ishizuka
  • 733: Gaze Perception and Theory of Mind for Conversational Initiation in Virtual Environments
    Christopher Peters
  • 354: Human and agents in 3D Electronic Institutions
    Anton Bogdanovych, Helmut Berger, Carles Sierra, Simeon Simoff

 


 

session 1b: learning

Papers:

  • 843: Theory of Moves Learner
    Arjita Ghosh, Sandip Sen
  • 621: Efficient Learning of Multi-step Best Response
    Bikramjit Banerjee, Jing Peng
  • 848: Multi Agent Reward Analysis for Learning in Noisy Domain
    Adrian Agogino, Kagan Tumer
  • 366: Behavior Transfer for Value-Function-Based Reinforcement Learning
    Matthew Taylor, Peter Stone
  • 840: Rapid on-line temporal sequence prediction by an adaptive agent
    Steven Jensen, Daniel Boley, Maria Gini, Paul Schrater

Posters:

  • 772: Automatic Computer Games Balancing: A Reinforcement Learning Approach
    Gustavo Andrade, Geber Ramalho, Hugo Santana, Vincent Corruble, André Furtado
  • 359: Coordinated Exploration in Multi-Agent Reinforcement: An Application to Loadbalancing
    Katja Verbeeck, Ann Nowe, Karl Tuyls
  • 546: Sharing information for Q-learning-based network bandwidth estimation and network failure detection
    Partha Dutta, Nicholas Jennings, Luc Moreau
  • 356: Adaptive Agent's integration in a new environment: interactions like source of learning
    Isabelle Jars, Nadia Kabachi, Michel Lamure
  • 663: GACS, an evolutionary approach to the spatial coordination of agents
    Fabien Flacher, Olivier Sigaud

 


 

session 1c: ACL & protocols

Papers:

  • 584: Acquiring and Adapting Probabilistic Models of Agent Conversation
    Felix Fischer, Michael Rovatsos, Gerhard Weiss
  • 825: Modeling Exceptions in Commitment Protocols
    Ashok Mallya, Munindar Singh
  • 778: Using a Performative Subsumption Lattice to Support Commitment-based Conversations
    Rob Kremer, Roberto Flores
  • 257: A Formal Framework for Agent Interaction Semantics
    Shamimabi Paurobally, Jim Cunningham, Nicholas Jennings
  • 393: Towards Design Tools for Protocol Development
    Pinar Yolum

Posters:

  • 391: A Software Tool for the Development and Experimentation of MAS Communication Protocols
    Madieyna Lamine Fall, Sylvain Delisle
  • 471: Reliable group communication and institutional actions in a multi-agent trading scenario
    Stephen Cranefield
  • 491: Hermes: A Methodology for Goal-Oriented Agent Interactions
    Christopher Cheong, Michael Winikoff
  • 566: An Integrated Framework For Adaptive Reasoning About Conversation Patterns
    Michael Rovatsos, Felix Fischer, Gerhard Weiss
  • 367: Communication Management Using Abstraction in Distributed Bayesian Networks
    Jiaying Shen, Victor Lesser

 


 

session 1d: logical foundations

Papers:

  • 355: Semantics of Declarative Goals in Agent Programming
    M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Meyer
  • 409: A Computationally Grounded Logic of Knowledge, Belief and Certainty
    Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
  • 447: Bounded Model Checking for Knowledge and Real Time
    Bozena Wozna, Alessio Lomuscio, Penczek Wojciech
  • 372: Dynamic Epistemic Logic with Assignment
    Hans P van Ditmarsch, Wiebe van der Hoek, Barteld P Kooi
  • 435: A Logic for Strategic Reasoning
    Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge

Posters:

  • 283: Temporal Logics for Normative Agent Communication Protocols
    Ulle Endriss
  • 286: Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems
    Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
  • 531: A Logic of Syntactic Knowledge: Reasoning, Communication and Cooperation
    Thomas Agotnes, Michal Walicki
  • 323: Recognition of the intention to perform a procedure: a method based on probabilities
    Robert Demolombe, Ana Maria Otermin Fernandez
  • 288: Model Checking for PRS-like Agents
    Wayne Wobcke, Marc Chee, Krystian Ji

 


 

industry track session IT1: aerospace applications

Papers:

  • 14: Lessons learned from the Autonomous Sciencecraft Experiment
    Steve Chien, Rob Sherwood, Daniel Tran, Benjamin Cichy, Gregg Rabideau, Rebecca Castano
  • 30: Controlling Teams of Uninhabited Air Vehicles
    Jeremy Baxter, Graham Horn
  • 2: Launch Commit Criteria Monitoring Agent
    Glenn Semmel, Steven Davis, Kurt Leucht, Dan Rowe, Andrew Kelly, Ladislau Bölöni
  • 15: Experiences with the Design and Implementation of an Agent-based Autonomous UAV Controller
    Samin Karim, Clint Heinze
  • 45: Cognitive Agent Modeling for Naval Training Simulation Environments
    Willem van Doesburg, Egon van den Broek, Annerieke Heuvelink