TY - JOUR A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander A1 - Reuter, S. A1 - Ewert, D. A1 - Jeschke, S. A1 - Pensky, D. A1 - Karras, Ulrich T1 - Proposal for advancements to the LLSF in 2014 and beyond Y1 - 2013 SP - Publ. online ER - TY - JOUR A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents JF - Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015. Y1 - 2015 SP - 1 EP - 4 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Meyer, Thomas A1 - Lakemeyer, Gerhard T1 - A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11) Y1 - 2011 N1 - Technical Report RMIT-TR-11-02 SP - 15 EP - 22 ER -