Representing Knowledge in Robotic Systems with KnowLang
You are here
| Title | Representing Knowledge in Robotic Systems with KnowLang |
| Publication Type | Book Chapter |
| Year of Publication | 2012 |
| Authors | Vassev E, Hinchey M |
| Book Title | Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation |
| Series Title | Communications in Computer and Information Science |
| Date Published | 2012 |
| Publisher | Springer Berlin Heidelberg |
| Publication Language | eng |
| URL | http://ulir.ul.ie/handle/10344/2043 |
