BOOK CHAPTERS
- Elder Care by means of Intention Recognition and Evolution Prospection
- 1 Jan 2011
- Luís Moniz Pereira, Han The Anh
- Inspecting Side-Effects of Abduction in Logic Programs
- 1 Jan 2011
- Luís Moniz Pereira, Luís Moniz Pereira, Alexandre Pinto, Alexandre Pinto
- Stable Model implementation of Layer Supported Models by program transformation
- 1 Jan 2011
- Alexandre Pinto, Luís Moniz Pereira, Alexandre Pinto
- Stable Model implementation of Layer Supported Models by program transformation
- 1 Jan 2011
- Alexandre Pinto, Luís Moniz Pereira, Alexandre Pinto
- Inspecting Side-Effects of Abduction in Logic Programs
- 1 Jan 2011
- Luís Moniz Pereira, Luís Moniz Pereira, Alexandre Pinto, Alexandre Pinto
- Evolving Logic Programs with Temporal Operators
- 1 Jan 2011
- José Júlio Alferes, Alfredo Gabaldon, João Leite
- Intention Recognition with Evolution Prospection and Causal Bayesian Networks
- 1 Dec 2010
- Luís Moniz Pereira, Han The Anh
- Bioinformatics: A Challenge to Constraint Programming
- 1 Nov 2010
- Pedro Barahona, Ludwig Krippahl, Olivier Perriquet
- Model-Driven Requirements Specification for Software Product Lines
- 1 Oct 2010
- Mauricio Alférez, Ana Moreira, Vasco Amaral, João Araújo
- SmART: An Application Reconfiguration Framework
- 1 Oct 2010
- Hervé Paulino, João André Branqueiro Barata Martins, João Lourenço, Nuno Duro
- Core Calculi for Service Oriented Computing
- 1 Jan 2010
- Luis Caires, Rocco de Nicola, Gianluigi Zavattaro, Rosario Pugliese, Vasco Vasconcelos
- Multi-View Composition Language for Software Product Line Requirements
- 1 Jan 2010
- Mauricio Alférez, João Santos, Ana Moreira, Alessandro Garcia, Uira Kulesza, João Araújo, Vasco Amaral
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter
BookChapter