Paper

Data

Name Rao AS, Georgeff MP (1998)

Description

Title Decision procedures for BDI logics

References

Authors Rao AS Show Other Georgeff MP Show Other

Volume 8

First page 293

Last page 343

Publisher

Pubmed ID

Year published 1998

Month published

Day published

Journal or book name Journal Of Logic And Computation

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species