Gabaldon, Alfredo, João Leite, and José Júlio Alferes. "
Evolving Logic Programs with Temporal Operators."
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond. Eds. M. Balduccini, and T. Son. LNCS/LNAI. Springer, 2011. 193-212.
Abstract
Gonçalves, Ricardo, and José Júlio Alferes. "
Parametrized Equilibrium Logic."
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 236-241.
Abstract
Paulino, Hervé, and João Ruivo Santos. "
A Middleware Framework for the Web Integration of Sensor Networks."
Sensor Systems and Software - Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers. Eds. Gerard Parr, and Philip Morrow. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi. Springer-Verlag, 2011. 75-90.
Abstractn/a