Specialization of Interaction Protocols in a Temporal Action Logic

Computer Science

• Temporal Constraint 100%
• Social Approach 100%
• Temporal Logic 100%
• Sufficient Condition 100%
• And-States 100%
• Action Theory 100%
• Communicative Action 100%
• Temporal Action Logic 100%
• Protocol Specification 100%

Keyphrases

• Social State 100%
• Logic of Action 100%
• Interaction Protocols 100%
• Temporal Constraints 50%
• Temporal Logic 50%
• Social Approach 50%
• Inter-agent Communication 50%
• Social Interaction 50%
• Action Theory 50%
• Communicative Action 50%
• Communicating Agents 50%
• Stutter Equivalence 50%
• Protocol Specification 50%