Searching for "Model Checking Agent Dialogues." – sorted by Relevance.
-
Model Checking Agent Dialogues
- Model Checking Agent Dialogues Christopher D. Walton ⋆ Centre for Intelligent Systems
- Add To MetaCart
-
A logic of abstract argumentation
- is hardly used in agent technology. For example, it is not used for model checking agent dialogues [17
- Cited by 1 (1 self) – Add To MetaCart

