Agent Systems

These are topics on which I am currently working (which typically means actively developing material for publication).

• Flexible Protocols via Temporal Linear Logic
• Goals as a foundation for Agent Programming Languages
  
• Social Commitments in Agent Systems