Language design issues for agents based on linear logic (extended abstract)

MaRDI QIDQ2844922zbMATH OpenFDO

Authors James Harland, Michael Winikoff

Publication date 20 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805905

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Agents via mixed-mode computation in linear logic
• Engineering AgentSpeak(L): a formal computational model
• Plans, actions and dialogues using linear logic
• Forward and backward chaining in linear logic. (Extended abstract)
• scientific article; zbMATH DE number 1773056

Cited in

(8)

• scientific article; zbMATH DE number 1974021 (Why is no real title available?)
• An agent language with destructive assignment and model-theoretic semantics
• scientific article; zbMATH DE number 2084422 (Why is no real title available?)
• Non-normal modalities in variants of linear logic
• Executing logical agent specifications
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• Agents via mixed-mode computation in linear logic
• Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem

This page was built for publication: Language design issues for agents based on linear logic (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844922)