D Garcia Gasulla… - Sixth Latin American …, 2010 - upcommons.upc.edu
C+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form …
Abstract The management of Urban Wastewater Systems (UWS) is a critical and difficult process. Handling polluted water in UWS requires planning and decision making regarding …
SciELO - Scientific Electronic Library Online vol.16 número1 Diseño de un búfer de reordenamiento para procesadores de alto desempeño Arquitecturas de seguridad para un …
B Yang, M Zhang, M Wu, G Xie - … International Conference on …, 2012 - spiedigitallibrary.org
Situation calculus is an expressive tool for modeling dynamical system in artificial intelligence, changes in a dynamical world is represented naturally by the notions of action …
DA Swayne, W Yang, AA Voinov, A Rizzoli, T Filatova - researchgate.net
The management of Urban Wastewater Systems (UWS) is a critical and difficult process. Handling polluted water in UWS requires planning and decision making regarding sectors …