Edinburgh Research Explorer

OBSERVANT: an Annotated Term Rewriting System for Deciding Observation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

OBSERVANT: an Annotated Term Rewriting System for Deciding Observation. / Monroy, R.; Bundy, Alan; Green, I.

Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). 1998. p. 393-397.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Monroy, R, Bundy, A & Green, I 1998, OBSERVANT: an Annotated Term Rewriting System for Deciding Observation. in Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). pp. 393-397, 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings, Brighton, United Kingdom, 23/08/98.

APA

Monroy, R., Bundy, A., & Green, I. (1998). OBSERVANT: an Annotated Term Rewriting System for Deciding Observation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) (pp. 393-397)

Vancouver

Monroy R, Bundy A, Green I. OBSERVANT: an Annotated Term Rewriting System for Deciding Observation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). 1998. p. 393-397.

Author

Monroy, R. ; Bundy, Alan ; Green, I./ OBSERVANT: an Annotated Term Rewriting System for Deciding Observation. Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). 1998. pp. 393-397