Pages that link to "Item:Q2372184"
From MaRDI portal
The following pages link to Specifying and verifying interaction protocols in a temporal action logic (Q2372184):
Displaying 10 items.
- Where logic and agents meet (Q657584) (← links)
- Specification and verification of agent interaction using social integrity constraints (Q2844044) (← links)
- Specialization of interaction protocols in a temporal action logic (Q2852084) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- (Q4490359) (← links)
- Evaluating Compliance: From LTL to Abductive Logic Programming (Q4637879) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)
- Temporal logic based synthesis of experimentally constrained interaction networks (Q6074994) (← links)