Plans, actions and dialogues using linear logic

DOI10.1007/s10849-008-9079-0zbMath1166.68357OpenAlexW2063531202MaRDI QIDQ1016033

Alan Smaill, Lucas Dixon, Tracy Tsang

Publication date: 4 May 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-008-9079-0

zbMATH Keywords

linear logicplanningagentsdialogue

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Structural Analysis of Narratives with the Coq Proof Assistant

Uses Software

• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Computational interpretations of linear logic
• Agents via mixed-mode computation in linear logic
• Formal analysis of PIN block attacks
• Abstract models for dialogue protocols
• Efficient resource management for linear logic proof search
• Semantic web: a road to the knowledge infrastructure on the internet
• Generating plans in linear logic. II: A geometry of conjunctive actions
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Protocol Synthesis with Dialogue Structure Theory
• Conflict resolution in collaborative planning dialogs
• Computational Logic in Multi-Agent Systems
• Logic for Programming, Artificial Intelligence, and Reasoning