DOI10.1007/b13658zbMath1274.68452MaRDI QIDQ5897332
Viviana Patti, Matteo Baldoni, Cristina Baroglio, Alberto Martelli
Publication date: 5 March 2010 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/b13658
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T42: Agent technology and artificial intelligence
Uses Software