Abstract: Journal Article Decision Procedures for BDI Logics Get access ANAND S. RAO, ANAND S. RAO Mitchell Madison GroupLevel 49, 120 Collins Street, Melbourne, Victoria 3000, Australia E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar MICHAEL P. GEORGEFF MICHAEL P. GEORGEFF Australian Artificial Intelligence InstituteLevel 6, 171 La Trobe Street, Melbourne, Australia. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 8, Issue 3, June 1998, Pages 293–343, https://doi.org/10.1093/logcom/8.3.293 Published: 01 June 1998 Article history Received: 08 August 1997 Published: 01 June 1998
Publication Year: 1998
Publication Date: 1998-06-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 337
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot