Multi-Agent Dynamic Logics with Informational Test Renate A. SchmidtDmitry Tishkovsky OriginalPaper Pages: 5 - 36
Representing von Neumann–Morgenstern Games in the Situation Calculus Oliver SchulteJames Delgrande OriginalPaper Pages: 73 - 101
Extending Answer Sets for Logic Programming Agents M. De VosD. Vermeir OriginalPaper Pages: 103 - 139
Agents via Mixed-Mode Computation in Linear Logic James HarlandMichael Winikoff OriginalPaper Pages: 167 - 196
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L) Rafael H. BordiniÁlvaro F. Moreira OriginalPaper Pages: 197 - 226
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols Pınar YolumMunindar P. Singh OriginalPaper Pages: 227 - 253
Speculative Computation Through Consequence-Finding in Multi-Agent Environments Katsumi InoueKoji Iwanuma OriginalPaper Pages: 255 - 291
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions Paolo Torroni ReviewPaper Pages: 293 - 305