|
Munindar P. Singh and Anand S. Rao and Michael P. Georgeff (1999): Formal Methods in DAI: Logic-Based Representation and Reasoning
Title: |
Formal Methods in DAI: Logic-Based Representation and Reasoning |
Author(s): |
Munindar P. Singh and Anand S. Rao and Michael P. Georgeff |
Year: |
1999 |
Booktitle: |
{M}ultiagent {S}ystems -- {A} {M}odern {A}pproach to {D}istributed {A}rtificial {I}ntelligence |
Editor(s): |
Gerhard Weiß |
Chapter: |
8 |
Pages: |
331 - 376 |
Publisher: |
MIT Press |
Concepts
|
|