Agents via mixed-mode computation in linear logic
From MaRDI portal
Publication:702108
DOI10.1023/B:AMAI.0000034526.31830.45zbMath1059.68128MaRDI QIDQ702108
James Harland, Michael Winikoff
Publication date: 17 January 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
68T27: Logic in artificial intelligence
03B70: Logic in computer science
68N17: Logic programming
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items