Agents via mixed-mode computation in linear logic

DOI10.1023/B:AMAI.0000034526.31830.45zbMath1059.68128OpenAlexW2058941194MaRDI QIDQ702108

Michael Winikoff, James Harland

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

Where logic and agents meet ⋮ Plans, actions and dialogues using linear logic