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