@Inproceedings{Vassev_ISOLA2011,
   status = {public},
   task = {T3.1, T3.2},
   publisher = {Springer Verlag, Heidelberg},
   month = {October},
   booktitle = {Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems},
   joint-pub = {false},
   series = {Communications in Computer and Information Science},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.11.02},
   main = {no},
   title = {{Representing Knowledge in Robotic Systems with KnowLang}},
   author = {Emil Vassev and Mike Hinchey},
   period = {year1},
   abstract = {Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract logic with real-world meanings. This paper presents KnowLang, a new formal language for knowledge representation in a special class of intelligent robotic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. In this paper, a brief KnowLang case study of knowledge representation for a robotic system is presented.},
   owner = {kroiss},
   accessible = {true},
   partner = {UL},
   ascens_ref = {true},
   wp = {wp3}
}