"... Smodels can be used either as a C++-library that can be called from user programs or as a stand-alone program together with a suitable front-end. ..."
Very interesting. I was checking through the publications list at the EIS site and my favourite so far is: McCoy, Mateas "An integrated agent for playing real-time strategy games" ~ http://eis.ucsc.edu/sites/default/files/AAAI08Mccoy.pdf [200Kb]
Are you hooking these stories up to any RL game or system?