Formal methods in DAI: Logic-based representation and reasoning

Authors
Singh, MP Rao, AS Georgeff, MP
Citation
Mp. Singh et al., Formal methods in DAI: Logic-based representation and reasoning, MULTIAGENT SYSTEMS, 1999, pp. 331-376
Categorie Soggetti
Current Book Contents
Journal title
MULTIAGENT SYSTEMS → ACNP
Year of publication
1999
Pages
331 - 376
Database
ISI
SICI code