Carlos Augusto Isaac Piló Viegas Damásio (F11F-BFEF-371A)

Curriculum Vitae

Carlos Augusto Isaac Piló Viegas Damásio

NOVA LINCS Group: Intelligent Systems. Research Topics: Knowledge Representation and Reasoning; Provenance; Machine Learning; Remote Sensing; Agroinformatics Google Scholar: https://scholar.google.com/citations?user=lKyX734AAAAJ&hl=pt-PT Carlos Viegas Damásio is Associate Professor at Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa working currently on applications of AI-based techniques to agriculture and forestry. He got a B.Sc. in Informatics Engineering in 1992 and a Ph.D. in Computer Science in 1996 by Universidade Nova de Lisboa. He (co)supervised 2 PhD students, and more than 30 MSc. students. He led 2 research projects, and participated in more than 10 other research projects. He published more than 100 papers in conferences and journals on topics of Logic Programming, Non-Monotonic Reasoning, Semantic Web, Knowledge Representation, Agroinformatics, Remote Sensing, Machine Learning, Model Based Diagnosis, and Paraconsistency and Uncertainty. He regularly serves as PC member of the top conferences of his area. Recently, he has been defining new models and techniques for acquiring and processing remote and field data for agricultural and forestry applications, for the constructing pest and disease models crops from satellite and weather station data. In parallel, he is working on formal models of data provenance for expressive query languages that allow tracking the dependencies of answers on raw data as well as the operations applied to derive them. He is the Principal Investigator of Floresta Limpa (PCIF/MOG/0161/2019), where the team is constructing a system deployed in the Cloud to monitor wildfire fuel breaks surrounding roads, houses, and localities, applying machine learning to remote sensing data, combining with a Volunteer Geographic Information mobile App to acquire ground-truth and correct it. In project SmartFarm (POCI-01-0247-FEDER-046078), he led the NOVALINCS team to construct new applications for sustainable agriculture, where deep learning techniques have been used to identify weeds from photos, count insects in traps, and count fruits from videos. In project FitoAgro (PDR2020-101-031686) he led the NOVALINCS team, where a system was constructed to help agronomists in obtaining curated field-data for pest control. Selected Publications: Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, and João Leite (2022). Towards Provenance in Heterogeneous Knowledge Bases. In: Gottlob, G., Inclezan, D., Maratea, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, Genova Nervi, Italy. Lecture Notes in Computer Science, vol 13416. Springer, Cham. DOI:10.1007/978-3-031-15707-3_22 Diogo Oliveira, Leonardo Martins, André Mora, Carlos Damásio, Mário Caetano, José Fonseca, and Rita A. Ribeiro (2021). Data fusion approach for eucalyptus trees identification. International Journal of Remote Sensing, 42:11, 4087-4109, DOI: 10.1080/01431161.2021.1883198 J.R. Marques da Silva, C.V. Damásio, A.M.O. Sousa, L. Bugalho, L. Pessanha, P. Quaresma (2015). Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature. International Journal of Applied Earth Observation and Geoinformation, Volume 38, 2015, Pages 40-50, ISSN 1569-8432. DOI:10.1016/j.jag.2014.12.016 C. Viegas Damásio, A. Analyti, G. Antoniou (2013). Justifications for Logic Programming. In: Cabalar, P., Son, T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013, La Coruña, Spain. Lecture Notes in Computer Science, vol 8148. Springer, Berlin, Heidelberg. DOI:10.1007/978-3-642-40564-8_53

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Carlos Augusto Isaac Piló Viegas Damásio

Nomes de citação

Viegas Damásio, Carlos
Carlos Viegas Damásio
C. V. Damásio

Identificadores de autor

Ciência ID: F11F-BFEF-371A
ORCID iD: 0000-0001-8145-3260
Google Scholar ID: lKyX734AAAAJ
Researcher Id: D-2027-2010
Scopus Author Id: 6603410864

Endereços de correio eletrónico

cd@fct.unl.pt (Profissional)

Telefones

Telefone

212948536 (Profissional)

Moradas

Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa. Quinta da Torre, 2829-516, CAPARICA, Almada, Portugal (Profissional)

Domínios de atuação

Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão
Inglês	Utilizador independente (B1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador independente (B1)
Português	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Francês	Utilizador elementar (A1)	Utilizador independente (B1)	Utilizador elementar (A1)	Utilizador elementar (A1)
Espanhol; Castelhano	Utilizador elementar (A1)	Utilizador independente (B1)	Utilizador elementar (A1)	Utilizador elementar (A1)

Formação

	Grau	Classificação
1996/10 Concluído	Informática (Doutoramento) Especialização em Especialidade: Informática Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal "Paraconsistent Extended Logic Programming with Constraints" (TESE/DISSERTAÇÃO)	Muito bom com distinção e louvor por unanimidade / Maximum classification
1992 Concluído	Licenciatura em Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal	18 valores

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2015 - Atual	Investigador (Investigação)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
	Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2007/09/27 - Atual	Professor Associado (Docente Universitário)	Universidade Nova de Lisboa Departamento de Informática, Portugal

1999/03/15 - 2007/09/26	Professor Auxiliar (Docente Universitário)	Universidade Nova de Lisboa Departamento de Informática, Portugal

1996/11/15 - 1999/03/14	Professor Auxiliar (Docente Universitário)	Universidade Aberta Departamento de Ciências e Tecnologia, Portugal

Cargos e Funções

	Categoria Profissional Instituição de acolhimento	Empregador
2020/01/22 - 2022/11/13	Coordinator of the Mestrado Integrado em Engenharia Informática	Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

2020/01/22 - 2022/11/13	Coordinator of Mestrado em Engenharia Informática	Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

	Categoria Profissional Instituição de acolhimento	Empregador
2011/10/10 - Atual	Elected member of the Computer Science Department Council	Universidade Nova de Lisboa Departamento de Informática, Portugal

2013/05/01 - 2015/12/31	Member of the Selection Committee of the European PhD Program in Computational Logic	Universidade Nova de Lisboa Departamento de Informática, Portugal

2012/01/31 - 2015/12/31	Member of the Selection Committee of the European Master Program in Computational Logic	Universidade Nova de Lisboa Departamento de Informática, Portugal

2007 - 2013	Integrated Member of CENTRO DE INTELIGÊNCIA ARTIFICIAL - CENTRIA	Universidade Nova de Lisboa, Portugal

2006/09/01 - 2011/09/01	Member of the Executive Committee of the Computer Science Department	Universidade Nova de Lisboa Departamento de Informática, Portugal

Projetos

Bolsa

	Designação	Financiadores
1995/10/01 - 1996/09/30	RACIOCÍNIOS NÃO-MONOTÓNICOS E PROGRAMAÇÃO EM LÓGICA PRAXIS XXI/BD/5404/95	Fundação para a Ciência e a Tecnologia Concluído

Projeto

	Designação	Financiadores
2018 - Atual	SFCOLAB - Smart Farm Collaborative Laboratory COLAB-SmartFarm Member of the proposal committee Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/03/21 - 2025/03/20	FLORESTA LIMPA - Vigilância automática e participada das zonas de protecção contra incêndios florestais PCIF/MOG/0161/2019 Investigador responsável Associação para a Inovação e Desenvolvimento da FCT, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Instituto Português do Mar e da Atmosfera, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2020/07/01 - 2023/06/30	SMART FARM 4.0 - Soluções inteligentes para uma agricultura sustentável, preditiva e autónoma POCI-01-0247-FEDER-046078 Investigador	Concluído
2018/10/01 - 2022/09/30	FORGET - Esquecer eficazmente o que tem que ser esquecido PTDC/CCI-INF/32219/2017 Investigador Associação para a Inovação e Desenvolvimento da FCT, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018/08/01 - 2022/07/31	RIVER - Raciocínio com bases de conhecimento e fluxos de dados PTDC/CCI-COM/30952/2017 Investigador Associação para a Inovação e Desenvolvimento da FCT, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018/01/01 - 2022/06/30	FitoAgro - Grupo Operacional - PDR 2020: Monitorização e estudo do ciclo de vida de inimigos emergentes de Pomóideas da região Oeste de Portugal PDR2020-101-031686 Investigador	European Agricultural Fund for Rural Development Concluído
2019/01/01 - 2019/12/31	NOVA Laboratory for Computer Science and Informatics UID/CEC/04516/2019 Investigador Associação para a Inovação e Desenvolvimento da FCT, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2016/07/01 - 2019/12/31	CLAY: An Environment for Live Construction of Trustworthy Software PTDC/EEI-CTP/4293/2014 Investigador Associação para a Inovação e Desenvolvimento da FCT, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018/03 - 2018/12	InPP - InnovPlantProtect Collaborative Laboratory ALT20-05-3559-FSE-000036 Member of the proposal committee Universidade Nova de Lisboa, Portugal	Concluído
2015/01/01 - 2017/12/31	SAFEBRÓCOLO - Melhoria do processo produtivo com base em modelos de risco para alternaria e mosca da couve PRODER-57155 Investigador Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal Universidade de Lisboa Instituto Superior de Agronomia, Portugal Universidade de Évora, Portugal Instituto Politécnico de Santarém Escola Superior Agrária, Portugal Centro Operativo e Tecnológico Hortofrutícola Nacional, Portugal	Concluído
2012/03/01 - 2015/08/31	ERRO - Raciocínio Eficiente com Regras e Ontologias PTDC/EIA-CCO/121823/2010 Investigador Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal Associação para a Inovação e Desenvolvimento da FCT, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2013/12/16 - 2014/10/15	AgroCAL - Escalonamento de visitas de campo VALE-QREN Investigador Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal	Concluído
2011/01/01 - 2013/12/31	Projecto Estratégico - UI 526 - 2011-2012 PEst-OE/EEI/UI0526/2011 Investigador Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído

Produções

Publicações

Artigo em conferência	Knorr, Matthias; Carlos Viegas Damásio; Ricardo Gonçalves; Leite, Joao. "Modular Provenance in Multi-Context Systems". Trabalho apresentado em Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), Haifa, Israel, 2022. Publicado Maria DAmaral Ferreira; Joao Moura Pires; Carlos Viegas Damasio. "Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions". Trabalho apresentado em 26th International Conference Information Visualisation (IV 2022), Vienna, Austria, 2022. Publicado • 10.1109/iv56949.2022.00015 Henrique Coelho; Susana Nascimento; Carlos Viegas Damásio; Lourdes Bugalho; Gonçalo Severino. "Extreme Fire Severity Classification using Clustering and Decision Tree". Trabalho apresentado em Advances in Forest Fire Research 2022, Coimbra, Portugal, 2022. Publicado • 10.14195/978-989-26-2298-9_28 Eduardo Fernandes; Carlos Viegas Damásio; João Moura Pires. "Creating a forest disturbance dataset for continental Portugal". Trabalho apresentado em Advances in Forest Fire Research 2022, Coimbra, Portugal, 2022. Publicado • 10.14195/978-989-26-2298-9_19 Matthias Knorr; Carlos Viegas Damásio; Ricardo Gonçalves; João Leite. "Towards Provenance in Heterogeneous Knowledge Bases". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, 2022. Publicado • 10.1007/978-3-031-15707-3_22 Maria de Amaral Ferreira; João Moura Pires; Carlos Viegas Damásio; Leonardo Correia. "FitoAgro: ferramenta para recolha de informação e tomada de decisão visando a sustentabilidade e competitividade das explorações frutícolas.". Trabalho apresentado em Congresso Frutos 2020: Inovação e Estratégia para a Fruticultura Nacional, online, 2020. Publicado Hugo D. L. Racoes; Fernando J. T. E. Ferreira; Joao M. Pires; Carlos V. Damasio. "Application of Different Machine Learning Strategies for Current- and Vibration-based Motor Bearing Fault Detection in Induction Motors". Trabalho apresentado em 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisboa, Portugal, 2019. Publicado • 10.1109/iecon.2019.8927129 Didier Dias; Bruno Martins; João Pires; Luís M. de Sousa; Jacinto Estima; Carlos V. Damásio. "Soil Classification Based on Physical and Chemical Properties Using Random Forests". Trabalho apresentado em Progress in Artificial Intelligence: 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Bragança, Portugal, 2019. Publicado • 10.1007/978-3-030-30241-2_19 Igor Ruivo; Carlos Viegas Damásio; Birra, Fernando; João Moura Pires. "Deteção Automática de Parcelas Agrícolas". Trabalho apresentado em INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Publicado André Neves; Carlos Viegas Damásio; João Moura Pires; Birra, Fernando. "Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2". Trabalho apresentado em INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Publicado Daniela Henriques; João Ferreira; João Moura Pires; Carlos Viegas Damásio; Birra, Fernando. "Fusão e Recuperação de Imagem Satélite para NDVI". Trabalho apresentado em INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Publicado Carlos Viegas Damásio; Lourdes Bugalho; Pedro Medeiros; Susana Nascimento; Luís Duque Santos. "Feature selection for burned area classification in the Castelo de Paiva region". Trabalho apresentado em Advances in Forest Fire Research 2018, Coimbra, Portugal, 2018. Publicado • 10.14195/978-989-26-16-506_112 Dos Santos, T.; Ferreira, F.J.T.E.; Pires, J.M.; Damasio, C.. "Stator winding short-circuit fault diagnosis in induction motors using random forest". Trabalho apresentado em 2017 IEEE International Electric Machines and Drives Conference (IEMDC), Miami, Florida, USA, 2017. Publicado • 10.1109/IEMDC.2017.8002350 Tiago dos Santos; Fernando J. T. E. Ferreira; João Moura Pires; Carlos Viegas Damásio. "Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist". Trabalho apresentado em Progress in Artificial Intelligence: 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, 2017. Publicado • 10.1007/978-3-319-65340-2_18 Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia. "Temporal Reasoning with Non-convex Intervals". Trabalho apresentado em Knowledge Engineering and Semantic Web: 8th International Conference, KESW 2017, Szczecin, Poland, 2017. Publicado • 10.1007/978-3-319-69548-8_10 Alves, M.B.; Damásio, C.V.; Correia, N.. "A semantic web approach to low-level features in images (Webmedia'16)". Trabalho apresentado em Brazilian Symposium on Multimedia and the Web, Teresina, Piauí State, Brazil, 2016. Publicado • 10.1145/2976796.2988176 M. B. Alves; C. V. Damásio; N. Correia. "RDF Query and Inference in Prolog". Trabalho apresentado em Knowledge Engineering and Semantic Web: 7th International Conference, KESW 2016, Prague, Czech Republic, 2016. Publicado • 10.1007/978-3-319-45880-9_15 José Duarte; Filipe Vieira; Carlos Viegas Damásio; Marques da Silva, José Rafael. "Vinhos que pensam - Plataforma Tecnológica". Trabalho apresentado em Conferência Nacional de Software Aberto para Sistemas de Informação Geográfica (SASIG 2015), Lisboa, Portugal, 2015. Publicado Damásio, C.V.; Moura, J.; Analyti, A.. "Unifying justifications and debugging for answer-set programs". Trabalho apresentado em Technical communication of ICLP 2015, Cork, Ireland, 2015. Publicado João Moura; Carlos Viegas Damásio. "Allowing Cyclic Dependencies in Modular Logic Programming". Trabalho apresentado em Progress in Artificial Intelligence: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, 2015. Publicado • 10.1007/978-3-319-23485-4_37 M. B. Alves; C. V. Damásio; N. Correia. "Gathering Photos from Social Networks Using Semantic Technologies". Trabalho apresentado em Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, 2015. Publicado • 10.1007/978-3-319-24543-0_20 Miguel B. Alves; Carlos Viegas Damásio; Nuno Correia. "Extracting Metadata from Multimedia Content on Facebook as Media Annotations". Trabalho apresentado em Knowledge Engineering and Semantic Web, 2015, Moscow, Russia, 2015. Publicado • 10.1007/978-3-319-24543-0_18 M. B. Alves; C. V. Damásio; N. Correia. "SPARQL Commands in Jena Rules". Trabalho apresentado em Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, 2015. Publicado • 10.1007/978-3-319-24543-0_19 Rodrigues, A.; Damásio, C.; Cunha, J.E.. "Using GPS logs to identify agronomical activities". Trabalho apresentado em AGILE 2014, Kissimmee, FL, USA, 2014. Publicado • 10.1007/978-3-319-03611-3_7 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Justifications for Logic Programming". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNRM2013), Corunna, Spain, 2013. Publicado • 10.1007/978-3-642-40564-8_53 Miguel Bento Alves; Carlos Viegas Damásio; Nuno M. Correia. "Improving tag-based image search by using linked open data". Trabalho apresentado em OAIR '13: Proceedings of the 10th Conference on Open Research Areas in Information Retrieval, Lisbon, Portugal, 2013. Publicado Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Provenance for SPARQL Queries". Trabalho apresentado em 11th International Semantic Web Conference (ISWC 2012), Boston, MA, USA, 2012. Publicado • 10.1007/978-3-642-35176-1_39 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Modularity in the Rule Interchange Format". Trabalho apresentado em Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 Europe, Barcelona, Spain, 2011. Publicado • 10.1007/978-3-642-22546-8_25 Carlos V. Damásio; Nicolás Madrid; M. Ojeda-Aciego. "On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence". Trabalho apresentado em Fuzzy Logic and Applications: 9th International Workshop, WILF 2011, Trani, Italy, 2011. Publicado • 10.1007/978-3-642-23713-3_15 Carlos Viegas Damásio; João Moura. "Modularity of P-Log Programs". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada, 2011. Publicado • 10.1007/978-3-642-20895-9_4 Carlos Viegas Damásio; Filipe Ferreira. "Practical RDF Schema Reasoning with Annotated Semantic Web Data". Trabalho apresentado em 10th International Semantic Web Conference (ISWC 2011), Bonn, Germany, 2011. Publicado • 10.1007/978-3-642-25073-6_47 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Embeddings of Simple Modular Extended RDF". Trabalho apresentado em International Conference on Web Reasoning and Rule Systems (RR 2010), Bressanone/Brixen, Italy, 2010. Publicado • 10.1007/978-3-642-15918-3_17 Carlos Viegas Damásio; José Júlio Alferes; João Leite. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect". Trabalho apresentado em 9th International Semantic Web Conference (ISWC 2010), Shangai, China, 2010. Publicado • 10.1007/978-3-642-17746-0_50 Han The Anh; Caroline Ramli; Carlos Viegas Damásio. "Tabling for P-log probabilistic query evaluation". Trabalho apresentado em 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), Aveiro, Portugal, 2009. Publicado Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio. "A Formal Theory for Modular ERDF Ontologies". Trabalho apresentado em International Conference on Web Reasoning and Rule Systems (RR 2009), Chantilly, VA, USA, 2009. Publicado • 10.1007/978-3-642-05082-4_15 João Moura; Paulo Chainho; C. V. Damásio. "Semantically Enabled Framework for User Centric Profile Description, Search and Match". Trabalho apresentado em Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, Vienna, Austria, 2009. Publicado • 10.1007/978-3-540-93851-4_32 G. Wagner; A. Giurca; I.-M Diaconescu; G. Antoniou; A. Analyti; Carlos Viegas Damásio. "Reasoning on the web with open and closed predicates". Trabalho apresentado em 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS 2008), in conjunction with ICLP, Udine, Italy, 2009. Publicado Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner. "On the Computability and Complexity Issues of Extended RDF". Trabalho apresentado em Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, Vietnam, 2008. Publicado • 10.1007/978-3-540-89197-0_5 Han The Anh; Carroline D. P. Kencana Ramli; Carlos Viegas Damásio. "An Implementation of Extended P-Log Using XASP". Trabalho apresentado em Logic Programming: 24th International Conference, ICLP 2008, Udine, Italy, 2008. Publicado • 10.1007/978-3-540-89982-2_68 Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio. "A Principled Framework for Modular Web Rule Bases and Its Semantics". Trabalho apresentado em Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, NSW, Australia, 2008. Publicado Alves, M.; Damásio, C.V.; Nejdl, W.; Olmedilla, D.. "A distributed tabling algorithm for rule based policy systems". Trabalho apresentado em Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06), London, Ontario, Canada, 2006. Publicado • 10.1109/POLICY.2006.4 Damásio, C.V.; Medina, J.; Ojeda-Aciego, M.. "A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations". Trabalho apresentado em 2006 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2006), Vancouver, Canada, 2006. Publicado • 10.1109/FUZZY.2006.1681978 Damásio, C.V.; Pan, J.Z.; Stoilos, G.; Straccia, U.. "An approach to representing uncertainty rules in RuleML". Trabalho apresentado em 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), Athens, Georgia, USA, 2006. Publicado • 10.1109/RULEML.2006.3 Rui D. Jorge; Carlos V. Damásio. "Diagnosis of Power System Protection". Trabalho apresentado em International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2006), Annecy, France, 2006. Publicado • 10.1007/11779568_70 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner. "Supporting Open and Closed World Reasoning on the Web". Trabalho apresentado em International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro, 2006. Publicado • 10.1007/11853107_11 Carlos Viegas Damásio; A. Analyti; G. Antoniou; G. Wagner. "Open and closed world reasoning in the semantic web". Trabalho apresentado em Information Processing and Management of Uncertainty (IPMU 2006), Paris, France, 2006. Publicado Carlos Viegas Damásio; Jesús Medina; Manuel Ojeda-Aciego. "A tabulation procedure for first-order residuated logic programs". Trabalho apresentado em 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 06), Paris, France, 2006. Publicado Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner. "Stable Model Theory for Extended RDF Ontologies". Trabalho apresentado em International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005. Publicado • 10.1007/11574620_5 João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira. "A Well-Founded Semantics with Disjunction". Trabalho apresentado em Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, 2005. Publicado • 10.1007/11562931_26 Carlos Viegas Damásio; J. Medina; M. Ojeda-Aciego. "A tabulation proof procedure for residuated logic programming". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 2004. Publicado J. J. Alferes; F. Azevedo; P. Barahona; Carlos Viegas Damásio; T. Swift. "Deductive diagnosis of digital circuits". Trabalho apresentado em Artificial Intelligence Applications and Innovations (AIAI-2004), Toulouse, France, 2004. Publicado Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski. "Toward Rough Knowledge Bases with Quantitative Measures". Trabalho apresentado em Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, 2004. Publicado • 10.1007/978-3-540-25929-9_17 C. V. Damásio; J. Medina; M. Ojeda-Aciego. "Sorted Multi-adjoint Logic Programs: Termination Results and Applications". Trabalho apresentado em European Workshop on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 2004. Publicado • 10.1007/978-3-540-30227-8_23 Gregory R. Wheeler; Carlos Damásio. "An Implementation of Statistical Default Logic". Trabalho apresentado em European Workshop on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 2004. Publicado • 10.1007/978-3-540-30227-8_13 Carlos Viegas Damásio; Jesús Medina; M. Ojeda-Aciego. "A termination theorem for sorted multiadjoint logic programming". Trabalho apresentado em 12th Spanish Congress on Fuzzy Logic and Technology, ESTYLF, 2004. Publicado Carlos Viegas Damásio; J. Medina; M. Ojeda-Aciego. "Termination results for sorted multi-adjoint logic programs". Trabalho apresentado em 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems,(IPMU-04), Perugia, Italy, 2004. Publicado Carlos Viegas Damásio; Luís Moniz Pereira. "Sorted monotonic logic programs and their embeddings". Trabalho apresentado em Proceedings of Information Processing and Management of Uncertainty (IPMU04), Perugia, Italy, 2004. Publicado Jóse Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira. "Semantic Web Logic Programming Tools". Trabalho apresentado em Principles and Practice of Semantic Web Reasoning: International Workshop, PPSWR 2003, Mumbai, India, 2003. Publicado • 10.1007/978-3-540-24572-8_2 Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski. "Query Answering in Rough Knowledge Bases". Trabalho apresentado em Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 9th International Conference, RSFDGrC 2003, Chongqing, China, 2003. Publicado • 10.1007/3-540-39205-x_25 Carlos Viegas Damásio; M. Ojeda-Aciego. "On termination of a tabulation procedure for residuated logic programming". Trabalho apresentado em 6th International Workshop on Termination (WST 2003), Valencia, Spain, 2003. Publicado João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira. "Paraconsistent Logic Programs". Trabalho apresentado em European Workshop on Logics in Artificial Intelligence (JELIA 2002), Cosenza, Italy, 2002. Publicado • 10.1007/3-540-45757-7_29 Damásio, C.V.; Pereira, L.M.. "Monotonic and residuated logic programs". Trabalho apresentado em Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, 2001. Publicado Carlos Viegas Damásio; Luís Moniz Pereira. "Antitonic Logic Programs". Trabalho apresentado em Logic Programming and Nonmotonic Reasoning (LPNMR2001), Vienna, Austria, 2001. Publicado • 10.1007/3-540-45402-0_28 Damasio, C.V.; Pereira, L.M.. "Hybrid probabilistic logic programs as residuated logic programs". Trabalho apresentado em European Workshop on Logics in Artificial Intelligence (JELIA2000), Malaga, Spain, 2000. Publicado Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira. "Psychiatric Diagnosis from the Viewpoint of Computational Logic". Trabalho apresentado em International Conference on Computational Logic (CL2000), London, UK, 2000. Publicado • 10.1007/3-540-44957-4_91 Fröhlich, Peter; Nejdl, Wolfgang; Schroeder, Michael; Damásio, Carlos; Pereira, Luis Moniz. "Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks". Trabalho apresentado em International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 1999), Cairo, Egypt, 1999. Publicado • 10.1007/978-3-540-48765-4_38 Carlos Viegas Damásio; Luís Moniz Pereira; Terrance Swift. "Coherent Well-founded Annotated Logic Programs". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 1999), El Paso, Texas, USA, 1999. Publicado • 10.1007/3-540-46767-x_19 Beires Nogueira, Vitor; Carlos Viegas Damásio. "Negation in Transaction Programs". Trabalho apresentado em 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, 1999. Publicado Carlos Viegas Damásio; Luís Moniz Pereira. "A General Tabulation Procedure for Extended Constraint Logic Programs". Trabalho apresentado em Tabulation in Parsing and Dedcution (TAPD 1998), Paris, France, 1998. Publicado Carlos Viegas Damásio; Luís Moniz Pereira. "A paraconsistent semantics with contradiction support detection". Trabalho apresentado em Logic Programming And Nonmonotonic Reasoning (LPNMR 1997), Dagstuhl, Germany, 1997. Publicado • 10.1007/3-540-63255-7_18 Carlos Viegas Damásio; Luis Moniz Pereira; Michael Schroeder. "REVISE: Logic programming and diagnosis". Trabalho apresentado em Logic Programming And Nonmonotonic Reasoning (LPNMR 1997), Dagstuhl, Germany, 1997. Publicado • 10.1007/3-540-63255-7_26 Carlos Viegas Damásio; Luís Moniz Pereira. "Default negated conclusions: Why not?". Trabalho apresentado em International Workshop on Extensions of Logic Programming (ELP 1996), Leipzig, Germany, 1996. Publicado • 10.1007/3-540-60983-0_7 Carlos Viegas Damásio; Luís Moniz Pereira. "Abduction over 3-valued extended logic programs". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 1995), Lexington, KY, USA, 1995. Publicado • 10.1007/3-540-59487-6_3 José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira. "SLX-A top-down derivation procedure for programs with explicit negation". Trabalho apresentado em Logic Programming, Proceedings of the 1994 International Symposium (ILPS1994), Ithaca, New York, USA, 1994. Publicado Damásio, Carlos Viegas; Nejdl, Wolfgang; Pereira, Luís Moniz. "REVISE: An Extended Logic Programming System for Revising Knowledge Bases". Trabalho apresentado em Principles of Knowledge Representation and Reasoning (KR '94), Bonn, Germany, 1994. Publicado • 10.1016/b978-1-4832-1452-8.50151-2 José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira. "Top-down query evaluation for well-founded semantics with explicit negation". Trabalho apresentado em 11th European Conference on Artificial Intelligence (ECAI 1994), Amsterdam, The Netherlands, 1994. Publicado Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Diagnosis and debugging as contradiction removal in logic programs". Trabalho apresentado em Progress in Artificial Intelligence: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993, Porto, Portugal, 1993. Publicado • 10.1007/3-540-57287-2_47 Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Debugging by diagnosing assumptions". Trabalho apresentado em International Workshop on Automated and Algorithmic Debugging (AADEBUG 93), Linkoping, Sweden, 1993. Publicado • 10.1007/bfb0019400 Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Diagnosis and Debugging as Contradiction Removal". Trabalho apresentado em Logic Programming and Nonmonotonic Reasoning (LPNMR 1993), Lisbon, Portugal, 1993. Publicado • https://doi.org/10.7551/mitpress/4307.003.0026 Luís Moniz Pereira; Jóse Júlio Alferes; Carlos Viegas Damásio. "The Sidetracking Meta-Principle". Trabalho apresentado em SImpósio Brasileiro de Inteligência Artificial (SBIA92), Rio de Janeiro, RJ, Brazil, 1992. Publicado
Artigo em jornal	N/A. "Tuta absoluta - terrorista americana ataca searas do Ribatejo", O Ribatejo, 2015
Artigo em revista	Diogo Oliveira; Leonardo Martins; André Mora; Carlos Damásio; Mário Caetano; José Fonseca; Rita A. Ribeiro. "Data fusion approach for eucalyptus trees identification". International Journal of Remote Sensing 42 11 (2021): 4087-4109. http://dx.doi.org/10.1080/01431161.2021.1883198. Publicado • 10.1080/01431161.2021.1883198 Ricardo Afonso; André Neves; Carlos Viegas Damásio; João Moura Pires; Fernando Birra; Maribel Yasmina Santos. "Assessment of Interventions in Fuel Management Zones Using Remote Sensing". ISPRS International Journal of Geo-Information 9 9 (2020): 533-533. http://dx.doi.org/10.3390/ijgi9090533. Publicado • 10.3390/ijgi9090533 Marques da Silva, J.R.; Carlos Viegas Damásio; Sousa, A.M.O.; Bugalho, L.; Pessanha, L.; Quaresma, P.. "Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature". International Journal of Applied Earth Observation and Geoinformation 38 (2015): 40-50. http://dx.doi.org/10.1016/j.jag.2014.12.016. Publicado • 10.1016/j.jag.2014.12.016 Analyti, Anastasia; Carlos Viegas Damásio; Antoniou, Grigoris. "Extended RDF: Computability and complexity issues". Annals of Mathematics and Artificial Intelligence 75 3-4 (2015): 267-334. http://dx.doi.org/10.1007/s10472-015-9451-0. Publicado • 10.1007/s10472-015-9451-0 Analyti, A.; Damásio, C.V.; Pachoulakis, I.. "Nested contextualised views in the web of data". International Journal of Web Engineering and Technology 10 1 (2015): 31-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-84929618305&partnerID=MN8TOARS. Publicado • 10.1504/IJWET.2015.069360 Analyti, A.; Damásio, C.V.; Antoniou, G.; Pachoulakis, I.. "Why-provenance information for RDF, rules, and negation". Annals of Mathematics and Artificial Intelligence 70 3 (2014): 221-277. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899457372&partnerID=MN8TOARS. Publicado • 10.1007/s10472-013-9396-0 Analyti, A.; Antoniou, G.; Damásio, C.V.; Pachoulakis, I.. "A framework for modular ERDF ontologies". Annals of Mathematics and Artificial Intelligence 67 3-4 (2013): 189-249. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879938725&partnerID=MN8TOARS. Publicado • 10.1007/s10472-013-9350-1 Analyti, A.; Antoniou, G.; Damasio, C.V.. "MWeb: A principled framework for modular Web rule bases and its semantics". ACM Transactions on Computational Logic 12 2 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-79551675260&partnerID=MN8TOARS. Publicado • 10.1145/1877714.1877723 Straccia, U.; Ojeda-Aciego, M.; Damásio, C.V.. "On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs". SIAM Journal on Computing 38 5 (2008): 1881-1911. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856815860&partnerID=MN8TOARS. Publicado • 10.1137/070695976 Analyti, A.; Antoniou, G.; Damásio, C.V.; Wagner, G.. "Extended RDF as a semantic foundation of rule markup languages". Journal of Artificial Intelligence Research 32 (2008): 37-94. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849162273&partnerID=MN8TOARS. Publicado Damásio, C.V.; Pan, J.Z.; Stoilos, G.; Straccia, U.. "Representing uncertainty in RuleML". Fundamenta Informaticae 82 3 (2008): 265-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-48249131691&partnerID=MN8TOARS. Publicado Damásio, C.V.; Medina, J.; Ojeda-Aciego, M.. "Termination of logic programs with imperfect information: applications and query procedure". Journal of Applied Logic 5 3 (2007): 435-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248649050&partnerID=MN8TOARS. Publicado • 10.1016/j.jal.2006.03.004 Wagner, G.; Damasio, C.V.; Antoniou, G.. "Towards a general web rule language". International Journal of Web Engineering and Technology 2 2-3 (2005): 181-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-31544454132&partnerID=MN8TOARS. Publicado • 10.1016/j.abb.2005.06.015 Alcântara, J.; Damásio, C.V.; Pereira, L.M.. "An encompassing framework for paraconsistent logic programs". Journal of Applied Logic 3 1 (2005): 67-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-14044268082&partnerID=MN8TOARS. Publicado • 10.1016/j.jal.2004.07.012 A. Analyti; G. Antoniou; Carlos Viegas Damásio; G. Wagner. "Negation and negative information in the W3C resource description framework". Annals of Mathematics, Computing and Teleinformatics 1 2 (2004): 25-34. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=df4c173b652dc8cedeba9730179b2ce8f26f4117. Publicado Vitória, A.; Damásio, C.V.; Maluszynski, J.. "From Rough Sets to Rough Knowledge Bases". Fundamenta Informaticae 57 2-4 (2003): 215-246. http://www.scopus.com/inward/record.url?eid=2-s2.0-1642526695&partnerID=MN8TOARS. Publicado Damásio, C.V.; Fröhlich, P.; Nejdl, W.; Pereira, L.M.; Schroeder, M.. "Using extended logic programming for alarm-correlation in cellular phone networks". Applied Intelligence 17 2 (2002): 187-202. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036722940&partnerID=MN8TOARS. Publicado • 10.1023/A:1016112931442 Damásio, C.V.; Pereira, L.M.. "Hybrid probabilistic logic programs as residuated logic programs". Studia Logica 72 1 (2002): 113-138. http://www.scopus.com/inward/record.url?eid=2-s2.0-22944470420&partnerID=MN8TOARS. Publicado Alferes, J.J.; Damásio, C.V.; Pereira, L.M.. "A logic programming system for nonmonotonic reasoning". Journal of Automated Reasoning 14 1 (1995): 93-147. http://www.scopus.com/inward/record.url?eid=2-s2.0-0001768873&partnerID=MN8TOARS. Publicado • 10.1007/BF00883931
Artigo em revista (magazine)	Valério, Elsa; Nunes, Ana Paula; Godinho, Maria do Céu; Figueiredo, Elisabete; Amaral, Artur; Martins, Joana; Sousa, Adélia; et al. "Tomate para Indústria: Estratégias Sustentáveis no Combate à Tuta absoluta", AGROTEC, 2015, https://dspace.uevora.pt/rdpc/bitstream/10174/17312/1/AG17%20-%20Dossier%20-%20Tomate%20-%20Tomate%20para%20ind%c3%bastria.pdf. Marques da Silva, José Rafael; Carlos Viegas Damásio; Adélia Sousa; Bugalho, Lourdes; PESSANHA, LUÍS; Quaresma, Paulo. "Mapas de risco para doenças e pragas considerando a temperatura da superfície terrestre (LST) obtida a partir de satélites meteorológicos de segunda geração (MSG)", Agrotec, 2015
Capítulo de livro	Carlos Viegas Damásio; Pereira, Luís Moniz. "A Survey of Paraconsistent Semantics for Logic Programs". In Reasoning with Actual and Potential Contradictions, 241-320. Springer Netherlands, 1998. Publicado • 10.1007/978-94-017-1739-7_8 Carlos Viegas Damásio; Luís Moniz Pereira. "Application to diagnosis, debugging and updating of logic programs with implicit and explicit negation". In Estudios sobre programación lógica y sus aplicaciones, 131-170. Universidad de Santiago de Compostela, Servicio de Publicaciones e Intercambio Científico, 1996. Publicado Carlos Viegas Damásio; Wolfgang Nejdl; Luís M. Pereira; Michael Schroeder. "Model-based diagnosis preferences and strategies representation with logic meta-programming". In Meta-logics and Logic Programming, 267-307. MIT Press, 1995. Publicado
Poster em conferência	Alves, M.B.; Damásio, C.V.; Correia, N.. "Gathering photos from social networks using semantic technologies". Trabalho apresentado em Workshop and Poster Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014), 2014. Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Implementing simple modular ERDF ontologies". Trabalho apresentado em Frontiers in Artificial Intelligence and Applications (ECAI 2010), 2010. 10.3233/978-1-60750-606-5-1083 J. Alcântara; Carlos Viegas Damásio; L. M. Pereira. "A declarative characterisation of disjunctive paraconsistent answer sets". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI 2004), 2004. Carlos Viegas Damásio; Luís Moniz Pereira. "A model theory for paraconsistent logic programming". Trabalho apresentado em Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, 1995. 10.1007/3-540-60428-6_32
Prefácio / Posfácio	Bragaglia, S.; Damásio, C.V.; Montali, M.; Petrie, C.; Preece, A.; Proctor, M.; Straccia, U.. "Proceedings of the 5th International RuleML@ BRF Challenge". 3-4. 2011. Publicado
Relatório	Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner. 2006. Extended RDF as Semantic Foundations of Rule Markup Languages. Deliverable I1-D3-2 of NoE REWERSE.. G. Antoniou; Carlos Viegas Damásio; B. Grosof; I. Horrocks; M. Kifer; J. Maluynski; P. Patel-schneider. 2005. Combining Rules and Ontologies. A survey. Deliverable I3-D1 of NoE REWERSE.. Gerd Wagner; Carlos Viegas Damásio; Sergey Lukichev. 2005. First-Version Rule Markup Languages. Deliverable I1-D3-1 of NoE REWERSE.
Resumo em conferência	Carlos Viegas Damásio; João Moura Pires; Eduardo Fernandes; Diogo Lopes. "Programming in the Cloud: Application to the study of wildfires in Portugal". Trabalho apresentado em 12º SIMPÓSIO DE METEOROLOGIA E GEOFÍSICA DA APMG, Lisboa, Portugal, 2023. Publicado
Tese / Dissertação	"Paraconsistent extended logic programming with constraints". Doutoramento, Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, 1996.

Outros

Conjunto de dados

10.14195/978-989-26-2298-9_19. Portuguese Forest Disturbance Dataset. https://github.com/EduardoFAFernandes/portuguese-forest-disturbance-dataset. 2022.

Atividades

Apresentação oral de trabalho

	Título da apresentação	Nome do evento Anfitrião (Local do evento)
2023/10/24	Invited Talk: O que é a Inteligência Artificial?	Rumo ao Futuro: Inteligência Artificial na Advocacia NOVA School of Law (Lisboa, Portugal)
2023/03/20	Invited Talk: Programação na Cloud: Aplicação ao estudo de incêndios Florestais em Portugal	12º - SIMPÓSIO DE METEOROLOGIA E GEOFÍSICA DA APMG Associação Portuguesa de Meteorologia e Geofísica (Lisboa, Portugal)
2018/07/04	Invited Talk - Sistemas Inteligentes Aplicados à Monitoração de Recursos Naturais	Encontro de Ciência 2018 Fundação para a Ciência e Tecnologia (Portugal)
2018/02/21	Invited Talk: Remote Sensing Agricultural Applications	Roteiro de Conhecimento e Inovação Fundação para a Ciência e Tecnologia e Agência Nacional de Inovação
2018/02/02	Invited Talk - Modelos preditivos para os inimigos chave da couve-bróculo no âmbito do projeto SAFEBRÓCOLO	2º Simpósio Nacionals de Culturas Agroindustriais Sociedade de Ciências Agrárias de Portugal (CNEMA - Santarém, Portugal)
2018	Trainining - ALTRAN Academy Training course on Data Science	ALTRAN S.A. (Lisboa, Portugal)
2017/11/28	Modelos e Previsão. O que fazer melhor?	Final seminar of SAFEBROCOLO Project CNEMA (Santarém, Portugal)
2017/04/20	Invited Talk - Aplicações da deteção remota à agricultura	Semana Hortícola do Oeste (Torres Vedras, Portugal)
2017	Trainining - ALTRAN Academy Training course on Data Science	ALTRAN S.A. (Lisboa, Portugal)
2016	Trainining - ALTRAN Academy Training course on Data Science	ALTRAN S.A: (Lisboa, Portugal)
2014/10/02	Invited talk: Plataforma Tecnológica para Combate a Pragas e Doenças	Sociedade Ciências Agrárias Portugal (Lisboa, Portugal)
2013/09	Justifications for Logic Programming	Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) (Corunna, Espanha)
2012/11	Provenance for SPARQL Queries	11th International Semantic Web Conference (ISWC 2012) (Boston, Estados Unidos)
2012/06	Agrocompanion	Smartagrimatics 2012 (Paris, França)
2011/07	Modularity in the Rule Interchange Format	Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 (Barcelona, Espanha)
2009/10	Tabling for P-log probabilistic query evaluation	14th Portuguese Conference on Artificial Intelligence (EPIA 2014) (Aveiro, Portugal)
2006/07	A tabulation proof procedure for first-order residuated logic programs	11th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 06) (Paris, França)
2004/09	Sorted Multi-adjoint Logic Programs: Termination Results and Applications	European Workshop on Logics in Artificial Intelligence (JELIA 2004) (Lisboa, Portugal)
2004/07	Invited talk: Sorted Monotonic Logic Programs and their embeddings (extended version)	IPMU'04 (Perugia, Itália)
2002/07	Paraconsistent Logic Programs	Workshop on Paraconsistent Logics of ESSLLI'2002 (Trento, Itália)
2002/02	Invited Talk: W4 - Well-founded Semantics for the World Wide Web	Rule Markup Techniques for the Semantic Web Dagstuhl Seminar 02061 (Dagstuhl, Alemanha)
2001/09	Antitonic Logic Programs	Logic Programming and Nonmotonic Reasoning (LPNMR2001) (Vienna, Áustria)
2000/09	Hybrid probabilistic logic programs as residuated logic programs	European Workshop on Logics in Artificial Intelligence (JELIA2000) (Malaga, Espanha)
2000/09	A Distributed Tabling System	Tabulation in Parsing and Dedcution (TAPD 2000) (Vigo, Espanha)
1998/10	Programação em Lógica Estendida Paraconsistente com Restrições	6º Congresso Iberoamericano de Inteligência Artificial (IBERAMIA'98) Fundação Calouste Gulbenkian (Lisboa, Portugal)
1996/07	Demonstration of SLX and SLXA software	Workshop Disjunctive Logic Programming and Databases: Nonmonotonic Aspects Scholss Dagstuhl (Dagstuhl, Alemanha)
1996/07	Invited Talk: Member of the Implementation Panel	Workshop Disjunctive Logic Programming and Databases: Nonmonotonic Aspects Scholss Dagstuhl (Dagstuhl, Alemanha)
1995/09	Demonstration of REVISE software	Final meeting of Compulog-2 (Amsterdam, Países Baixos)
1994/11	SLX-A top-down derivation procedure for programs with explicit negation	Logic Programming, Proceedings of the 1994 International Symposium (ILPS1994) (Ithaca, NY, USA, Estados Unidos)
1994/09	Tabling for Explicit Negation	Compulog-Net Workshop on Parallelism and Implementation (Madrid, Espanha)
1993/10	Diagnosis and debugging as contradiction removal in logic programs	6th Portuguese Conference on Artificial Intelligence, EPIA 1993 (Porto, Portugal)
1993/06	Diagnosis and Debugging as Contradiction Removal	Logic Programming and Nonmonotonic Reasoning (LPNMR 1993) (Lisboa, Portugal)
1993/05	Debugging by diagnosing assumptions	International Workshop on Automated and Algorithmic Debugging (AADEBUG 93) (Linkoping, Suécia)
1993/04	Diagnosis and Debugging as 2-valued Contradiction Removal	Compulog-2 knowledge representation area meeting Imperial College (London, Reino Unido)

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2024/03 - Atual	Determinação de classe de risco de habitações relativamente a incêndios florestais a partir de imagem aérea Orientador de Bruno Mendes Silva	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Atual	Plataforma Web para Otimização do Sistema de Informação para Monitorização de Faixas de Gestão de Combustível de Incêndios Orientador de Francisca Martins da Conceição Ferreira e Corga	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Atual	Operacionalização de Plataforma Colaborativa para Agricultura Orientador de Miguel Ramos Baião	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - Atual	Integração de informação meteorológica para suporte a modelos preditivos de pragas Orientador de Tomás António Vieira Chora	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - Atual	A Study on Anomaly Detection Algorithms Coorientador de Tomás Boniche da Silva	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2033/12	Sistema de Apoio à Decisão para as Áreas Integradas de Gestão da Paisagem Coorientador de Márcia Batalha Matias	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2024	Smart Farm 4.0: Criação de Plataforma Agrícola Colaborativa Confidencial Orientador de Paulo André Marques Pereira dos Santos Paiva	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2024	Plataforma Colaborativa para o treino de modelos de aprendizagem automática com aplicações para a Agricultura Coorientador de João Henrique d'Oliveira Palmeiro	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023/07/27	Sistema de Informação para Monitorização de Faixas de Gestão de Combustível de Incêndios Coorientador de Diogo Alexandre Silva Lopes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2023/07/27	Comparação de bases de dados relacionais com bases de dados temporais para armazenamento de rasters Orientador de Bernardo Fernandes Oliveira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023/06/23	SERS Spectra Classification using Deep Learning Coorientador de Matilde Alexandra Damas Lucas	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023/06/22	Identificação de Espécies de Plântulas Infestantes Coorientador de António Miguel da Silva Beirão	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Automatic Counting and Georeferencing of Fruits from Video Coorientador de Pedro Francisco Cândida Oliveira da Silva Fonte	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Modelos de aprendizagem automática para detetar o estado de parcelas florestais Coorientador de Gonçalo Andrez Prates	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Contagem automática de insetos em armadilhas Coorientador de André Manuel Rasteiro de Araújo	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Automatic Wildfire Classification with Fire Danger If-Then Rules Extraction Coorientador de João Miguel Alpoim Pinheiro dos Santos	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022/12/28	Indução de Regras para a Classificação Automática da Severidade de Risco de Incêndios Florestais Coorientador de Gonçalo Bernardo Severino	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022/07/28	Identificação automática de operações de limpeza em faixas de Gestão de Combustível de Incêndios ao redor de habitações e localidades Coorientador de Francisco Carvão Magarreiro Proença da Silva	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022/07/18	Artificial Intelligence for the Prediction of Faillures in Wind Turbines Coorientador de Diogo Jorge Gato Rebimba	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022/07/12	Remote Sensing for Land Use / Land Cover Mapping in Almada Coorientador de Inês Cardoso Leitão Barata de Oliveira	Análise e Engenharia de Big Data (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022/06/30	Sistema de Informação para Património Cemiterial e Atividades Culturais no Cemitério dos Prazeres Coorientador de Ricardo Filipe Palheira Fernandes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022/06/27	Information Retrieval using Transformers for Meaningful Document Ranking Coorientador de David da Conceição Garcia Sieberger	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022/02/28	Arquitectura para Processamento Integrado no Repositório de Dados e Metadados de Observação Terrestre Coorientador de Rúben Filipe Coelho Silva	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022/02/23	Determinação do impacto da COVID-19 na mobilidade e qualidade do ar de Lisboa Coorientador de Joana Sofia Rodrigues Barradas	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022/02/22	Aplicação Partilhada com Realidade Aumentada para o Cemitério dos Prazeres Coorientador de Diogo Alexandre Freire da Silva	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022	Deep Learning Applications for Remote Sensing Coorientador de André Neves	Informática (Doutoramento) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021/11/29	Determinação da Idade da Floresta Nacional Usando Séries Temporais de Imagens de Satélite Coorientador de Eduardo Filipe Almeida Fernandes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021/11/29	Predição da Procura de Bicicletas para Otimizar o Rebalanceamento das Bicicletas Partilhadas em Lisboa Coorientador de Ana Sofia Lopes Afonso	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021/11/29	Visualização de Dados para Projetos de Monotorização Fitossanitária Coorientador de Maria de Amaral Ferreira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021/11/26	Existem Padrões de Utilização das Bicicletas Partilhadas em Lisboa? Coorientador de João Lucas de Campos Dias	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2021/10/28	Identificação automática de valores de índices de risco de incêndios florestais associados a incêndios extremos em Portugal Continental Coorientador de Henrique Alfaia e Sampaio Coelho	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021/09/14	Registo de dados baseado em protocolos de recolha de informação Coorientador de Miguel Ângelo Saraiva Correia	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2021/02/27	Análise de padrões dos pedidos de intervenção do Regimento de Sapadores Bombeiros Coorientador de Mafalda Filipa Caldeira Camilo	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020/07/02	Fusão de imagens de satélite utilizando informação de invariantes e séries temporais Coorientador de João Filipe Penteado Ferreira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/12/20	Remote Sensing and Data Fusion for Eucalyptus Trees Identification Coorientador de Diogo Filipe Neves de Oliveira	Engenharia Informática Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019/12/13	Sistema de Informação para Projetos de Monitorização Fitossanitária Coorientador de André Tiago Marques Malafaia	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019/12/10	Deteção Remota de Parcelas Agrícolas Coorientador de Igor Alexandre Patrício Ruivo	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/12/03	Arquitetura para um Repositório de Dados e Metadados de Observação Terrestre Coorientador de André Filipe Graça Lopes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019/12/02	Detecção Semi-automática de áreas verdes permanentes Coorientador de João Celorico Moreira de Albuquerque	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/11/27	Avaliação por Deteção Remota do Efeito das Operações de Limpeza nas Faixas de Gestão de Combustível de Incêndios Coorientador de Ricardo Francisco Santos Afonso	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/11/21	Deteção remota de estruturas artificiais permanentes Coorientador de André Miguel Neves	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/11/20	Soil Classification Resorting to Machine Learning Techniques Coorientador de Didier Narciso Dias	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/05/23	Fusão e Recuperação de Imagem Satélite em diferentes regiões de Portugal Continental Coorientador de Daniela Sofia da Silva Henriques	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2018/12/07	Object-Based Semi-Automatic Crop Detection from Landsat-8 and Sentinel-2 imagery in the Alentejo Region (A Comparison with the Pixel-based approach) Coorientador de Rafael Salgado Seara	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2018/11/20	Modelos de risco para inimigos do Bróculo Coorientador de Eunice Cristina dos Reis Beijinho	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2018/11/20	Aprendizagem automática para detecão de avarias em rolamentos de motores de indução Coorientador de Hugo Daniel Lino Rações	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018/06/19	GPU Accelerated Classifier Benchmarking for Wildfire Related Tasks Coorientador de Luís Miguel Duque dos Santos	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/12/19	Sentiment Analysis on Twitter for the Portuguese Language Orientador de Eduardo Santos Duarte	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/12/19	Field Information Web Platform for Agricultural Applications Orientador de Gonçalo José Esteves Leote	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/11/26	Sistema de Aconselhamento de Aplicação de Produtos Fitoffarmacêuticos Orientador de João Pedro Pereira Rico	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/11/18	Detecção Automática de Actividades Agronómicas Coorientador de José Emanuel da Costa Cunha	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013	Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning Orientador de João Manuel Gomes Moura	Informática (Doutoramento) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001 - 2008/06	Semantics for Disjunctive Extended Logic Programming Coorientador de João Fernando Lima Alcântara	Informática (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2005 - 2006	Local Organizer of the Reasoning Web Summer School (2006/09/04 - 2006/09/08) Outro	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Participação em evento

	Descrição da atividade Tipo de evento	Nome do evento Instituição / Organização
2023/05/29 - Atual	Webinar - Pode a Inteligência Artificial acelerar a Transição Energética? Outro	https://www.unl.pt/agenda/plataformas-interdisciplinares/webinar-pode-inteligencia-artificial-acelerar-transicao Universidade Nova de Lisboa, Portugal

Júri de grau académico

	Tema Tipo de participação	Nome do candidato (Tipo de grau) Instituição / Organização
2012/05/11	Intention Recognition, Commitment, and Their Roles in the Evolution of Cooperation Vogal	The Anh Han (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/07	Evolving Knowledge Bases Arguente	João Alexandre Carvalho Pinheiro Leite (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/07	Constraint Solving over Multi-valued Logics Vogal	Francisco de Moura e Castro Ascenção de Azevedo (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/02	Raciocinando com medidas de plausibilidade na assimilação de novas evidências Vogal	Berilhes Borges Garcia (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001	On Applying Or-Parallelism and Tabling to Logic Programs Arguente	Ricardo Jorge Gomes Lopes da Rocha (Doutoramento) Universidade do Porto Faculdade de Ciências, Portugal

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2024 - 2024	KR 2024: Knowledge Representation and Reasonming
2023 - 2023	JELIA 2023: 18th Edition of the European Conference on Logics in Artificial Intelligence
2022 - 2022	KR 2022: 19th International Conference on Principles of Knowledge Representation and Reasoning
2021 - 2021	JELIA 2021: 17th European Conference on Logics in Artificial Intelligence
2020 - 2020	EPIA 2020: EPIA conference on Artificial Intelligence
2020 - 2020	IJCAI-PRICAI 2020: the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence
2019 - 2019	JELIA 2019: 16th Edition of the European Conference on Logics in Artificial Intelligence
2019 - 2019	IJCAI 2019: the 28th International Joint Conference on Artificial Intelligence
2018 - 2018	IJCAI-ECAI 2018: the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence
2017 - 2017	EPIA 2017: 18th EPIA Conference on Artificial Intelligence
2017 - 2017	ESWC 2017: 14th European Conference on Semantic Web
2016 - 2016	JELIA 2016: 15th European Conference On Logics In Artificial Intelligence
2015 - 2015	GCAI 2015: Global Conference on Artificial Intelligence
2014 - 2014	ESWC 2014: European Semantic Web Conference
2014 - 2014	JELIA 2014: 14th European Conference on Logics in Artificial Intelligence
2012 - 2012	RuleML 2012: 6th International Symposium on Rules
2011 - 2011	RuleML2011@IJCAI: 5th International Symposium on Rules
2011 - 2011	RuleML 2011 - CONSORTIUM: Doctoral Consortium of the 5th International Symposium on Rules
2011 - 2011	CAEPIA 2011: The Conference of the Spanish Association for Artificial Intelligence 2011
2010 - 2010	RW 2010: Reasoning Web Summer School 2010
2010 - 2010	RR 2010: The 4th International Conference on Web Reasoning and Rule Systems
2009 - 2009	IJCAI 2009: 21st International Joint Conference on Artificial Intelligence
2009 - 2009	INFORUM 2009: 1º Simpósio de Informática
2009 - 2009	RR 2009: 3rd International Conference on Web Reasoning and Rule Systems
2009 - 2009	ISWC 2009: The 8th International Semantic Web Conference
2009 - 2009	CLAI 2009: CAEPIA 2009 Workshop on Computational Logic and Artificial Intelligence
2008 - 2008	XATA 2008 - XML: Aplicações e Tecnologias Associadas
2008 - 2008	RuleApp 2008: 2nd Eastern European Workshop on Rule-Based Applications
2008 - 2008	ISWC 2008: The 7th International Semantic Web Conference
2008 - 2008	ALPSWS 2008: 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services, in conjunction with ICLP
2007 - 2007	XATA 2007 - XML: Aplicações e Tecnologias Associadas
2007 - 2007	SDIA 2007: Simpósio Doutoral em Inteligência Artificial
2006 - 2006	RuleML-2006: 5th International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
2006 - 2006	PPSWR 2006 - 4th International Workshop on Principles and Practice of Semantic Web Reasoning
2006 - 2006	CSWWS 2006 - Canadian Semantic Web Working Symposium
2006 - 2006	ECAI 2006 - 17th European Conference on Artificial Intelligence
2005 - 2005	RuleML-2005: 4th International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
2004 - 2004	RuleML-2004: 3rd International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
2003 - 2003	EPIA'03 - 11th Portuguese Conference on Artificial Intelligence
2003 - 2003	RuleML-2003: 2nd International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
2002 - 2002	AGP'02 - APPIA-GULP-PRODE Joint Conference on Declarative Programming
2002 - 2002	PCL 2002 - Paraconsistent Computational Logic
2002 - 2002	STAIRS 2002 - Starting Artificial Intelligence Researchers Symposium
2002 - 2002	RuleML-2002: 1st International Workshop on Rule Markup Languages for Business Rules on the Semantic Web
2001 - 2001	AGP'01 - APPIA-GULP-PRODE Joint Conference on Declarative Programming
2000 - 2000	AGP'00 - APPIA-GULP-PRODE Joint Conference on Declarative Programming

Comissão de avaliação

	Descrição da atividade Tipo de assessoria	Instituição / Organização	Entidade financiadora
2019/11/28 - 2019/11/29	Selection of candidates for several positions in the InnovPlantProtect CoLab Avaliador	InnovPlantProtect, Portugal

Curso / Disciplina lecionado

	Disciplina	Curso (Tipo)	Instituição / Organização
2022 - Atual	Programação Avançada para Ciência e Engenharia de Dados (Advanced Programming for Data Science and Engineering) 2022/23 (Lectures+Labs), 2023/24 (Lectures)	Vários Mestrados (Several MSc programmes) (Mestrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - Atual	Atividade Prática de Desenvolvimento Curricular / Atividade de Desenvolvimento Curricular (Project course) Responsável e docente da vertente de Projecto de Engenharia Informática	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - Atual	Modelação de Dados (Data Modeling) 2015/16 (Lectures+Labs), 2016/17 (Lectures+Labs), 2018/19 (Lectures+Labs), 2019/20 (Lectures+Labs), 2020/21 (Lectures+Labs), 2022/23 (Lectures+Labs), 2023/24 (Lectures+Labs)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - Atual	Sistemas de Bases de Dados (Database Systems) 2014/15 (Lectures+Labs), 2015/16 (Lectures+Labs), 2016/17 (Lectures+Labs), 2022/23 (Lectures+Labs), 2023/24(Lectures)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2022	Programação para Ciência e Engenharia de Dados (Programming for Data Science and Engineering) 2021/22 (Lectures)	Várias Licenciaturas (several BSc. programmes) (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2021	Competências Transversais para Ciências e Tecnologia (Soft Skills for Science and Technology) Sessões Teórico-Práticas (Labs)	Todos os cursos da Faculdade (all courses) (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2021	Bases de Dados (Databases) 2017/18 (Lectures), 2018/19 (Lectures), 2019/20 (Lectures), 2020/21 (Lectures)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2018	Knowledge Representation, Reasoning and Agents 2009/2010 (Lectures), 2010/2011 (Lectures), 2011/2012 (Lectures), 2012/2013 (Lectures), 2017/2018 (Lectures),	Informática (Doutoramento)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - 2017	Segurança de Software (Software Security) Module on Provenance	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2016	Representação de Conhecimento e Sistemas de Raciocínio (Knowledge Representation and Reasoning Systems) 2015/16 (Lectures+Labs)	Engenharia Informática	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015	Inteligência Artificial (Artificial Intelligence) 2014/15 (Lectures+Labs)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2014	Web Semântica (Semantic Web) 2013/14 (Lectures+Labs)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013	Web Semântica (Reasoning in the Semantic Web) 2010/11 (Lectures), 2011/12 (Lectures), 2012/13 (Lectures)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006 - 2013	Inteligência Artificial (Artificial Intelligence) 2006/07 (Lectures), 2007/08 (Lectures), 2010/11 (Lectures+Labs), 2011/12 (Lectures+Labs), 2012/13 (Lectures+Labs)	Engenharia Informática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005 - 2011	Web Semântica (Reasoning in the Semantic Web) 2005/06 (Lectures), 2006/07 (Lectures), 2007/08 (Lectures), 2008/09 (Lectures), 2010/11 (Lectures),	European Master in Computational Logic (Master)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010	Conceitos e Tecnologia XML (XML Concepts and Technology) 2009/10 (Lectures+Labs)	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009	Introdução às Bases de Dados (Introduction to Databases) 2008/09 (Lectures)	Matemática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008	Representação de Conhecimento e Raciocínio (Knowledge Representation and Reasoning) 2007/08 (Lectures+Labs)	European Master on Computational Logic (Master)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2008	Integrated Logic Systems 2007/08 (Lectures)	European Master on Computational Logic (Master)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005 - 2008	Teoria da Complexidade (Complexity Theory) 2005/06 (Lectures), 2006/07 (Lectures), 2007/08 (Lectures), 2008/09 (Lectures)	European Master on Computational Logic (Master)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2003 - 2007	Introdução à Inteligência Artificial (Introduction to Artificial Intelligence) 2003/04 (Lectures+Labs), 2004/05 (Lectures+Labs), 2005/06 (Lectures+Labs), 2006/07 (Lectures+Labs)	Engenharia Informática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2003 - 2007	Topics de Representação de Conhecimento para a Web (Topics of Knowledge Representation for the Web) 2003/04 (Lectures), 2004/05 (Lectures), 2005/06 (Lectures), 2006/07 (Lectures),	Engenharia Informática (Mestrado integrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999 - 2007	Introdução às Bases de Dados (Introduction to Databases) 1999/00 (Lectures+Labs), 2000/01 (Lectures+Labs), 2001/02 (Lectures+Labs), 2004/05 (Lectures+Labs), 2005/06 (Lectures+Labs), 2006/07 (Lectures+Labs),	Matemática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999 - 2003	Programação em Lógica (Logic Programming) 1999/00 (Lectures), 2000/01 (Lectures), 2001/02 (Lectures+Labs), 2002/03 (Lectures+Labs)	Engenharia Informática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999 - 2003	Programação Declarativa (Declarative Programming) 1999/00 (Lectures), 2002/03 (Lectures)	Inteligência Artificial Aplicada (Mestrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1998 - 1999	Bases de Dados 2 (Databases 2) 1998/1999 (Labs)	Engenharia Informática (Licenciatura)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1997 - 1998	Raciocínio Computacional (Computational Reasoning) 1997/98 (Lectures)	Inteligência Artificial Aplicada (Mestrado)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Entrevista (jornal / revista)

	Descrição da atividade	Jornal / Forum
2023/08/15	O Mirante - Três Dimensões	O Mirante
2015/02/15	Protomate e o combate à Tuta absoluta, uma questão de tomada de decisão	Grande reportagem sobre o Tomate de Indústria, Voz do Campo

Entrevista / Programa (rádio / tv)

	Programa	Tema
2023/03/31 - 2023/03/31	Sociedade Civil - Limpeza Das Florestas	Forest management and fuel reduction
2021/04/15 - 2021/04/15	FLORESTA LIMPA - 90 Segundos de Ciência	Summary of project Floresta Limpa

Outro júri / avaliação

	Descrição da atividade	Instituição / Organização
2023/05/30 - Atual	PhD. Thesis Committee - Sara Filipa Marques Nunes Aparício (Earth observations of Arctic Climate Change through a Multi-sensor and Artificial Intelligence approach)	Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2020	Concurso documental para recrutamento de 2 professores adjuntos na área de informática / Recruitment commission for 2 places	Instituto Politécnico de Setúbal, Portugal

Revisão ad hoc de artigos em revista

	Nome da revista (ISSN)	Editora
2020 - 2020	Fuzzy Sets and Systems	Elsevier
2017 - 2017	Theory and Practice of Logic Programming	Cambridge University Press
2013 - 2013	Journal of Logic and Computation	Oxford University Press
2012 - 2012	Theory and Practice of Logic Programming	Cambridge University Press
2011 - 2011	Systems, Man and Cybernetics - Part B	IEEE
2011 - 2011	ACM Transactions on Computational Logic	ACM
2010 - 2011	Fuzzy Sets and Systems	Elsevier
2007 - 2007	Journal of Applied Logic	Elsevier
2006 - 2006	Theory and Practice of Logic Programming	Cambridge University Press
2005 - 2005	Fundamenta Informaticae	IOS Press
2004 - 2004	Semantic Web	IOS Press
2003 - 2003	Theory and Practice of Logic Programming	Cambridge University Press
2003 - 2003	Journal of Applied Logic	Elsevier
2002 - 2002	AICom - Artificial Intelligence Communications	IOS Press
2000 - 2000	International Journal of Applied Intelligence	Springer

Distinções

Prémio

1998	2nd prize of the Iberoamerican contest of PhD Thesis on Artificial Intelligence (CTDIA'98)