ARTICLES
- On the Logic of Theory Change: Iteration of Expansion
- 1 Jan 2018
- Eduardo Fermé, Renata Wassermann
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
- 1 Jan 2018
- Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jorg Puherer
- Capability-based localization of distributed and heterogeneous queries
- 1 Dec 2017
- Hugo Lourenço, João Costa Seco, Paulo Jorge Abreu Duarte Ferreira
- A hybrid approach for the spatial disaggregation of socio-economic indicators
- 1 Nov 2017
- João Miguel Cordeiro Monteiro, Bruno Emanuel da Graça Martins, João Moura Pires
- Automatic Classification of Impact Sounds with Rejection of Unknown Samples
- 1 Oct 2017
- Joaquim Ferreira da Silva, Gabriel Pereira Lopes, Sofia Cavaco
- NavMol 3.0: enabling the representation of metabolic reactions by blind users
- 1 Sep 2017
- Y. Binev, D. Peixoto, F. Pereira, I Rodrigues, Sofia Cavaco, A. M. Lobo, J. Aires-de-Sousa
- Usability Driven DSL development with USE-ME
- 1 Jun 2017
- Ankica Barisic, Miguel Goulão, Vasco Amaral
- Characteristic bisimulation for higher-order session processes
- 1 May 2017
- Dimitrios Kouzapas, Jorge A Pérez, Nobuko Yoshida
- When agreement-accepting free-riders are a necessary evil for the evolution of cooperation
- 1 May 2017
- Luis Martinez-Vaquero, Han The Anh, Luís Moniz Pereira, Tom Lenaerts
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- 10 Apr 2017
- Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
Article
Article
Article
Article
Article
Article
Article
Article
Article
Article