SailAway: Formalizing Navigation Rules
| Type of publication: | Inproceedings |
| Citation: | cosy:R3-R4-sailaway-aisb |
| Booktitle: | Proceedings of the AISB'07 Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication |
| Year: | 2007 |
| Userfields: | pdfurl={http://www.cosy.informatik.uni-bremen.de/staff/lutz/publications/SailAway_AISB2007_new.pdf}, project={R3-QShape}, status={Reviewed}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
