@InCollection{rensvmf10,
  author = 	 {Gavin Rens and Ivan Varzinczak and Thomas Meyer and
                  Alexander Ferrein},
  editor    = {Jiuyong Li},

  title = 	 {A Specification Logic for Reasoning about Actions
                  and Explicit Observations },
  booktitle =    {AI 2010: Advances in Artificial Intelligence -
                  Proceedings of the 23rd Australasian Joint
                  Conference on Artificial Intelligence},
  year = 	 {2010},
  series    = {Lecture Notes in Computer Science},
  volume    = {6464},
  publisher = {Springer},
  pages     = {395-404},


}

{"_id":"TZXqHmKemZN5MsZt4","bibbaseid":"rens-varzinczak-meyer-ferrein-aspecificationlogicforreasoningaboutactionsandexplicitobservations-2010","author_short":["Rens, G.","Varzinczak, I.","Meyer, T.","Ferrein, A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Gavin"],"propositions":[],"lastnames":["Rens"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Varzinczak"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Meyer"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Ferrein"],"suffixes":[]}],"editor":[{"firstnames":["Jiuyong"],"propositions":[],"lastnames":["Li"],"suffixes":[]}],"title":"A Specification Logic for Reasoning about Actions and Explicit Observations ","booktitle":"AI 2010: Advances in Artificial Intelligence - Proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence","year":"2010","series":"Lecture Notes in Computer Science","volume":"6464","publisher":"Springer","pages":"395-404","bibtex":"@InCollection{rensvmf10,\n author = \t {Gavin Rens and Ivan Varzinczak and Thomas Meyer and\n Alexander Ferrein},\n editor = {Jiuyong Li},\n\n title = \t {A Specification Logic for Reasoning about Actions\n and Explicit Observations },\n booktitle = {AI 2010: Advances in Artificial Intelligence -\n Proceedings of the 23rd Australasian Joint\n Conference on Artificial Intelligence},\n year = \t {2010},\n series = {Lecture Notes in Computer Science},\n volume = {6464},\n publisher = {Springer},\n pages = {395-404},\n\n\n}\n\n\n\n","author_short":["Rens, G.","Varzinczak, I.","Meyer, T.","Ferrein, A."],"editor_short":["Li, J."],"key":"rensvmf10","id":"rensvmf10","bibbaseid":"rens-varzinczak-meyer-ferrein-aspecificationlogicforreasoningaboutactionsandexplicitobservations-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://maskor.fh-aachen.de/biblio/MASKOR.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","mu2EJj6ChAtu4Px4s","i8ftsMK5wMbiNqmtB","pBDNm3knLemYTNMHw"],"keywords":[],"search_terms":["specification","logic","reasoning","actions","explicit","observations","rens","varzinczak","meyer","ferrein"],"title":"A Specification Logic for Reasoning about Actions and Explicit Observations ","year":2010}