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
|
|