Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Plans, Actions and Dialogue using Linear Logic
Authors: Lucas Dixon ; Alan Smaill ; Tracy Tsang
Date: 2009
Publication Title:JoLLI
Publication Type:Journal Article Publication Status:Pre-print
We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports modelling agent interaction, including dialogue, allows agents to be robust to unexpected events and failures, and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human-computer interfaces as well as agent interaction in the semantic web.
Links To Paper
1st Link
Bibtex format
author = { Lucas Dixon and Alan Smaill and Tracy Tsang },
title = {Plans, Actions and Dialogue using Linear Logic},
journal = {JoLLI},
publisher = {Springer},
year = 2009,
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh