Publications

Articles

International Conferences: 2

2018

- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, Model Revision of Logical Regulatory Networks Using Logic-Based Tools, presented at Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Jul. 2018 [bibTex]

2017

- Filipe Gouveia and Pedro T. Monteiro and Vasco Manquinho and Inês Lynce, Logic-Based Encodings for Ricochet Robots, presented at EPIA Conference on Artificial Intelligence (EPIA'17), Sep. 2017 [DOI Article link] [bibTex]