|
|
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
|
|
