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

zbMATH Open1270.68331MaRDI QIDQ2844922FDOQ2844922

Authors: James Harland, Michael Winikoff 

Publication date: 20 August 2013

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• An agent language with destructive assignment and model-theoretic semantics
• Title not available (Why is that?)
• Non-normal modalities in variants of linear logic
• Executing logical agent specifications
• Title not available (Why is that?)
• 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)