The following pages link to Global Computing (Q5464836):
Displaying 8 items.
- Specification and verification of declarative open interaction models. A logic-based approach (Q1958400) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Specification and verification of agent interaction using social integrity constraints (Q2844044) (← links)
- Executing Specifications of Social Reasoning Agents (Q2999242) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← links)
- (Q5020972) (← links)
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework (Q5747982) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897331) (← links)