Theoretical Computer Science
Generating plans in linear logic: II. A geometry of conjunctive actions
Theoretical Computer Science
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Efficient resource management for linear logic proof search
Theoretical Computer Science - Special issue on proof-search in type-theoretic languages
Conflict resolution in collaborative planning dialogs
International Journal of Human-Computer Studies - Special issue on collaboration, cooperation and conflict in dialogue systems
Resource-distribution via Boolean constraints
ACM Transactions on Computational Logic (TOCL)
Deductive Synthesis of Recursive Plans in Linear Logic
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Decidability of Linear Affine Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Collaborative response generation in planning dialogues
Computational Linguistics - Special issue on natural language generation
Information state and dialogue management in the TRINDI dialogue move engine toolkit
Natural Language Engineering
Discourse obligations in dialogue processing
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Semantic web: a road to the knowledge infrastructure on the internet
New Generation Computing - Membrane computing
Protocol synthesis with dialogue structure theory
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Adapting Agent Communication Languages for Semantic Web Service Inter-Communication
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Human-Robot dialogue for joint construction tasks
Proceedings of the 8th international conference on Multimodal interfaces
Formal analysis of PIN block attacks
Theoretical Computer Science - Automated reasoning for security protocol analysis
Abstract models for dialogue protocols
Journal of Logic, Language and Information
Dynamic verification of trust in distributed open systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Linear Logic for Non-Linear Storytelling
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Structural analysis of narratives with the Coq proof assistant
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Hi-index | 0.00 |
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 the modelling of 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.