Agents via mixed-mode computation in linear logic

DOI10.1023/B:AMAI.0000034526.31830.45zbMATH Open1059.68128OpenAlexW2058941194MaRDI QIDQ702108FDOQ702108

Authors: James Harland, Michael Winikoff 

Publication date: 17 January 2005

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000034526.31830.45

Recommendations

• Language design issues for agents based on linear logic (extended abstract)
• Plans, actions and dialogues using linear logic
• GOAL agents instantiate intention logic
• GOAL Agents Instantiate Intention Logic
• Forward and backward chaining in linear logic. (Extended abstract)

zbMATH Keywords

linear logicintelligent agentsBelief Desire Intention (BDI)mixed-mode computation

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Plans, actions and dialogues using linear logic
• Language design issues for agents based on linear logic (extended abstract)
• Where logic and agents meet
• Title not available (Why is that?)

This page was built for publication: Agents via mixed-mode computation in linear logic

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