Pages that link to "Item:Q3623975"
From MaRDI portal
The following pages link to Specification and Verification of Agent Interaction Using Abductive Reasoning (Q3623975):
Displaying 7 items.
- 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)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- (Q4576181) (← links)
- Global Computing (Q5464836) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897331) (← links)