External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms

Vineet Padmanabhan, Guido Governatori, Abdul Sattar. Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. In Chattrakul Sombattheera, Arun Agarwal, Siba K. Udgata, Kittichai Lavangnananda, editors, Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings. Volume 7080 of Lecture Notes in Computer Science, pages 63-74, Springer, 2011. [doi]

Authors

Vineet Padmanabhan

This author has not been identified. Look up 'Vineet Padmanabhan' in Google

Guido Governatori

This author has not been identified. Look up 'Guido Governatori' in Google

Abdul Sattar

This author has not been identified. Look up 'Abdul Sattar' in Google
runs on