Pages that link to "Item:Q2844044"
From MaRDI portal
The following pages link to Specification and verification of agent interaction using social integrity constraints (Q2844044):
Displaying 10 items.
- Balanced multi-perspective checking of process conformance (Q272169) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Normative KGP agents (Q2509078) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Specialization of interaction protocols in a temporal action logic (Q2852084) (← links)
- Executing Specifications of Social Reasoning Agents (Q2999242) (← links)
- Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975) (← links)
- (Q4813443) (← links)
- Global Computing (Q5464836) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897331) (← links)