Speculative computation through consequence-finding in multi-agent environments

DOI10.1023/B:AMAI.0000034529.83643.cezbMath1059.68129OpenAlexW2021087477MaRDI QIDQ702112

Koji Iwanuma, Katsumi Inoue

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.0000034529.83643.ce

zbMATH Keywords

default logicmulti-agent systemsconditional answerconsequence-findingSOL calculusspeculative computation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (1)

Where logic and agents meet

This page was built for publication: Speculative computation through consequence-finding in multi-agent environments