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

Read full resume ↓

Identification

Personal identification

Full name: Carlos Augusto Isaac Piló Viegas Damásio

Citation names

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

Author identifiers

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

Email addresses

cd@fct.unl.pt (Professional)

Telephones

Telephone

212948536 (Professional)

Addresses

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

Knowledge fields

Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language	Speaking	Reading	Writing	Listening
English	Intermediate (B1)	Advanced (C1)	Advanced (C1)	Intermediate (B1)
Portuguese	Advanced (C1)	Advanced (C1)	Advanced (C1)	Advanced (C1)
French	Beginner (A1)	Intermediate (B1)	Beginner (A1)	Beginner (A1)
Spanish; Castilian	Beginner (A1)	Intermediate (B1)	Beginner (A1)	Beginner (A1)

Education

	Degree	Classification
1996/10 Concluded	Informática (Doutoramento) Major in Especialidade: Informática Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal "Paraconsistent Extended Logic Programming with Constraints" (THESIS/DISSERTATION)	Muito bom com distinção e louvor por unanimidade / Maximum classification
1992 Concluded	Licenciatura em Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal	18 valores

Affiliation

Science

	Category Host institution	Employer
2015 - Current	Researcher (Research)	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

Teaching in Higher Education

	Category Host institution	Employer
2007/09/27 - Current	Associate Professor (University Teacher)	Universidade Nova de Lisboa Departamento de Informática, Portugal

1999/03/15 - 2007/09/26	Assistant Professor (University Teacher)	Universidade Nova de Lisboa Departamento de Informática, Portugal

1996/11/15 - 1999/03/14	Assistant Professor (University Teacher)	Universidade Aberta Departamento de Ciências e Tecnologia, Portugal

Positions / Appointments

	Category Host institution	Employer
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

Others

	Category Host institution	Employer
2011/10/10 - Current	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

Projects

Grant

	Designation	Funders
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 Concluded

Contract

	Designation	Funders
2018 - Current	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 Principal investigator 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 Ongoing
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 Researcher	Concluded
2018/10/01 - 2022/09/30	FORGET - Esquecer eficazmente o que tem que ser esquecido PTDC/CCI-INF/32219/2017 Researcher Associação para a Inovação e Desenvolvimento da FCT, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2018/08/01 - 2022/07/31	RIVER - Raciocínio com bases de conhecimento e fluxos de dados PTDC/CCI-COM/30952/2017 Researcher Associação para a Inovação e Desenvolvimento da FCT, Portugal	Fundação para a Ciência e a Tecnologia Concluded
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 Researcher	European Agricultural Fund for Rural Development Concluded
2019/01/01 - 2019/12/31	NOVA Laboratory for Computer Science and Informatics UID/CEC/04516/2019 Researcher 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 Concluded
2016/07/01 - 2019/12/31	CLAY: An Environment for Live Construction of Trustworthy Software PTDC/EEI-CTP/4293/2014 Researcher 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 Concluded
2018/03 - 2018/12	InPP - InnovPlantProtect Collaborative Laboratory ALT20-05-3559-FSE-000036 Member of the proposal committee Universidade Nova de Lisboa, Portugal	Concluded
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 Researcher 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	Concluded
2012/03/01 - 2015/08/31	ERRO - Raciocínio Eficiente com Regras e Ontologias PTDC/EIA-CCO/121823/2010 Researcher 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 Concluded
2013/12/16 - 2014/10/15	AgroCAL - Escalonamento de visitas de campo VALE-QREN Researcher Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal	Concluded
2011/01/01 - 2013/12/31	Projecto Estratégico - UI 526 - 2011-2012 PEst-OE/EEI/UI0526/2011 Researcher 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 Concluded

Outputs

Publications

Book chapter	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. Published • 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. Published 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. Published
Conference abstract	Carlos Viegas Damásio; João Moura Pires; Eduardo Fernandes; Diogo Lopes. "Programming in the Cloud: Application to the study of wildfires in Portugal". Paper presented in 12º SIMPÓSIO DE METEOROLOGIA E GEOFÍSICA DA APMG, Lisboa, Portugal, 2023. Published
Conference paper	Knorr, Matthias; Carlos Viegas Damásio; Ricardo Gonçalves; Leite, Joao. "Modular Provenance in Multi-Context Systems". Paper presented in Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), Haifa, Israel, 2022. Published Maria DAmaral Ferreira; Joao Moura Pires; Carlos Viegas Damasio. "Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions". Paper presented in 26th International Conference Information Visualisation (IV 2022), Vienna, Austria, 2022. Published • 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". Paper presented in Advances in Forest Fire Research 2022, Coimbra, Portugal, 2022. Published • 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". Paper presented in Advances in Forest Fire Research 2022, Coimbra, Portugal, 2022. Published • 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". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, 2022. Published • 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.". Paper presented in Congresso Frutos 2020: Inovação e Estratégia para a Fruticultura Nacional, online, 2020. Published 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". Paper presented in 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisboa, Portugal, 2019. Published • 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". Paper presented in Progress in Artificial Intelligence: 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Bragança, Portugal, 2019. Published • 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". Paper presented in INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Published 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". Paper presented in INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Published 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". Paper presented in INFORUM 2019 - 11º Simpósio de Informática (Portuguese National Conference), Guimarães, Portugal, 2019. Published 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". Paper presented in Advances in Forest Fire Research 2018, Coimbra, Portugal, 2018. Published • 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". Paper presented in 2017 IEEE International Electric Machines and Drives Conference (IEMDC), Miami, Florida, USA, 2017. Published • 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". Paper presented in Progress in Artificial Intelligence: 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, 2017. Published • 10.1007/978-3-319-65340-2_18 Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia. "Temporal Reasoning with Non-convex Intervals". Paper presented in Knowledge Engineering and Semantic Web: 8th International Conference, KESW 2017, Szczecin, Poland, 2017. Published • 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)". Paper presented in Brazilian Symposium on Multimedia and the Web, Teresina, Piauí State, Brazil, 2016. Published • 10.1145/2976796.2988176 M. B. Alves; C. V. Damásio; N. Correia. "RDF Query and Inference in Prolog". Paper presented in Knowledge Engineering and Semantic Web: 7th International Conference, KESW 2016, Prague, Czech Republic, 2016. Published • 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". Paper presented in Conferência Nacional de Software Aberto para Sistemas de Informação Geográfica (SASIG 2015), Lisboa, Portugal, 2015. Published Damásio, C.V.; Moura, J.; Analyti, A.. "Unifying justifications and debugging for answer-set programs". Paper presented in Technical communication of ICLP 2015, Cork, Ireland, 2015. Published João Moura; Carlos Viegas Damásio. "Allowing Cyclic Dependencies in Modular Logic Programming". Paper presented in Progress in Artificial Intelligence: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, 2015. Published • 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". Paper presented in Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, 2015. Published • 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". Paper presented in Knowledge Engineering and Semantic Web, 2015, Moscow, Russia, 2015. Published • 10.1007/978-3-319-24543-0_18 M. B. Alves; C. V. Damásio; N. Correia. "SPARQL Commands in Jena Rules". Paper presented in Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, 2015. Published • 10.1007/978-3-319-24543-0_19 Rodrigues, A.; Damásio, C.; Cunha, J.E.. "Using GPS logs to identify agronomical activities". Paper presented in AGILE 2014, Kissimmee, FL, USA, 2014. Published • 10.1007/978-3-319-03611-3_7 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Justifications for Logic Programming". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNRM2013), Corunna, Spain, 2013. Published • 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". Paper presented in OAIR '13: Proceedings of the 10th Conference on Open Research Areas in Information Retrieval, Lisbon, Portugal, 2013. Published Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Provenance for SPARQL Queries". Paper presented in 11th International Semantic Web Conference (ISWC 2012), Boston, MA, USA, 2012. Published • 10.1007/978-3-642-35176-1_39 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Modularity in the Rule Interchange Format". Paper presented in Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 Europe, Barcelona, Spain, 2011. Published • 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". Paper presented in Fuzzy Logic and Applications: 9th International Workshop, WILF 2011, Trani, Italy, 2011. Published • 10.1007/978-3-642-23713-3_15 Carlos Viegas Damásio; João Moura. "Modularity of P-Log Programs". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada, 2011. Published • 10.1007/978-3-642-20895-9_4 Carlos Viegas Damásio; Filipe Ferreira. "Practical RDF Schema Reasoning with Annotated Semantic Web Data". Paper presented in 10th International Semantic Web Conference (ISWC 2011), Bonn, Germany, 2011. Published • 10.1007/978-3-642-25073-6_47 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou. "Embeddings of Simple Modular Extended RDF". Paper presented in International Conference on Web Reasoning and Rule Systems (RR 2010), Bressanone/Brixen, Italy, 2010. Published • 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". Paper presented in 9th International Semantic Web Conference (ISWC 2010), Shangai, China, 2010. Published • 10.1007/978-3-642-17746-0_50 Han The Anh; Caroline Ramli; Carlos Viegas Damásio. "Tabling for P-log probabilistic query evaluation". Paper presented in 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), Aveiro, Portugal, 2009. Published Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio. "A Formal Theory for Modular ERDF Ontologies". Paper presented in International Conference on Web Reasoning and Rule Systems (RR 2009), Chantilly, VA, USA, 2009. Published • 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". Paper presented in Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, Vienna, Austria, 2009. Published • 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". Paper presented in 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS 2008), in conjunction with ICLP, Udine, Italy, 2009. Published Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner. "On the Computability and Complexity Issues of Extended RDF". Paper presented in Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, Vietnam, 2008. Published • 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". Paper presented in Logic Programming: 24th International Conference, ICLP 2008, Udine, Italy, 2008. Published • 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". Paper presented in Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, NSW, Australia, 2008. Published Alves, M.; Damásio, C.V.; Nejdl, W.; Olmedilla, D.. "A distributed tabling algorithm for rule based policy systems". Paper presented in Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06), London, Ontario, Canada, 2006. Published • 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". Paper presented in 2006 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2006), Vancouver, Canada, 2006. Published • 10.1109/FUZZY.2006.1681978 Damásio, C.V.; Pan, J.Z.; Stoilos, G.; Straccia, U.. "An approach to representing uncertainty rules in RuleML". Paper presented in 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), Athens, Georgia, USA, 2006. Published • 10.1109/RULEML.2006.3 Rui D. Jorge; Carlos V. Damásio. "Diagnosis of Power System Protection". Paper presented in International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2006), Annecy, France, 2006. Published • 10.1007/11779568_70 Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner. "Supporting Open and Closed World Reasoning on the Web". Paper presented in International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro, 2006. Published • 10.1007/11853107_11 Carlos Viegas Damásio; A. Analyti; G. Antoniou; G. Wagner. "Open and closed world reasoning in the semantic web". Paper presented in Information Processing and Management of Uncertainty (IPMU 2006), Paris, France, 2006. Published Carlos Viegas Damásio; Jesús Medina; Manuel Ojeda-Aciego. "A tabulation procedure for first-order residuated logic programs". Paper presented in 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 06), Paris, France, 2006. Published Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner. "Stable Model Theory for Extended RDF Ontologies". Paper presented in International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005. Published • 10.1007/11574620_5 João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira. "A Well-Founded Semantics with Disjunction". Paper presented in Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, 2005. Published • 10.1007/11562931_26 Carlos Viegas Damásio; J. Medina; M. Ojeda-Aciego. "A tabulation proof procedure for residuated logic programming". Paper presented in European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 2004. Published J. J. Alferes; F. Azevedo; P. Barahona; Carlos Viegas Damásio; T. Swift. "Deductive diagnosis of digital circuits". Paper presented in Artificial Intelligence Applications and Innovations (AIAI-2004), Toulouse, France, 2004. Published Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski. "Toward Rough Knowledge Bases with Quantitative Measures". Paper presented in Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, 2004. Published • 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". Paper presented in European Workshop on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 2004. Published • 10.1007/978-3-540-30227-8_23 Gregory R. Wheeler; Carlos Damásio. "An Implementation of Statistical Default Logic". Paper presented in European Workshop on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 2004. Published • 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". Paper presented in 12th Spanish Congress on Fuzzy Logic and Technology, ESTYLF, 2004. Published Carlos Viegas Damásio; J. Medina; M. Ojeda-Aciego. "Termination results for sorted multi-adjoint logic programs". Paper presented in 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems,(IPMU-04), Perugia, Italy, 2004. Published Carlos Viegas Damásio; Luís Moniz Pereira. "Sorted monotonic logic programs and their embeddings". Paper presented in Proceedings of Information Processing and Management of Uncertainty (IPMU04), Perugia, Italy, 2004. Published Jóse Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira. "Semantic Web Logic Programming Tools". Paper presented in Principles and Practice of Semantic Web Reasoning: International Workshop, PPSWR 2003, Mumbai, India, 2003. Published • 10.1007/978-3-540-24572-8_2 Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski. "Query Answering in Rough Knowledge Bases". Paper presented in Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 9th International Conference, RSFDGrC 2003, Chongqing, China, 2003. Published • 10.1007/3-540-39205-x_25 Carlos Viegas Damásio; M. Ojeda-Aciego. "On termination of a tabulation procedure for residuated logic programming". Paper presented in 6th International Workshop on Termination (WST 2003), Valencia, Spain, 2003. Published João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira. "Paraconsistent Logic Programs". Paper presented in European Workshop on Logics in Artificial Intelligence (JELIA 2002), Cosenza, Italy, 2002. Published • 10.1007/3-540-45757-7_29 Damásio, C.V.; Pereira, L.M.. "Monotonic and residuated logic programs". Paper presented in Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, 2001. Published Carlos Viegas Damásio; Luís Moniz Pereira. "Antitonic Logic Programs". Paper presented in Logic Programming and Nonmotonic Reasoning (LPNMR2001), Vienna, Austria, 2001. Published • 10.1007/3-540-45402-0_28 Damasio, C.V.; Pereira, L.M.. "Hybrid probabilistic logic programs as residuated logic programs". Paper presented in European Workshop on Logics in Artificial Intelligence (JELIA2000), Malaga, Spain, 2000. Published Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira. "Psychiatric Diagnosis from the Viewpoint of Computational Logic". Paper presented in International Conference on Computational Logic (CL2000), London, UK, 2000. Published • 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". Paper presented in International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 1999), Cairo, Egypt, 1999. Published • 10.1007/978-3-540-48765-4_38 Carlos Viegas Damásio; Luís Moniz Pereira; Terrance Swift. "Coherent Well-founded Annotated Logic Programs". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 1999), El Paso, Texas, USA, 1999. Published • 10.1007/3-540-46767-x_19 Beires Nogueira, Vitor; Carlos Viegas Damásio. "Negation in Transaction Programs". Paper presented in 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, 1999. Published Carlos Viegas Damásio; Luís Moniz Pereira. "A General Tabulation Procedure for Extended Constraint Logic Programs". Paper presented in Tabulation in Parsing and Dedcution (TAPD 1998), Paris, France, 1998. Published Carlos Viegas Damásio; Luís Moniz Pereira. "A paraconsistent semantics with contradiction support detection". Paper presented in Logic Programming And Nonmonotonic Reasoning (LPNMR 1997), Dagstuhl, Germany, 1997. Published • 10.1007/3-540-63255-7_18 Carlos Viegas Damásio; Luis Moniz Pereira; Michael Schroeder. "REVISE: Logic programming and diagnosis". Paper presented in Logic Programming And Nonmonotonic Reasoning (LPNMR 1997), Dagstuhl, Germany, 1997. Published • 10.1007/3-540-63255-7_26 Carlos Viegas Damásio; Luís Moniz Pereira. "Default negated conclusions: Why not?". Paper presented in International Workshop on Extensions of Logic Programming (ELP 1996), Leipzig, Germany, 1996. Published • 10.1007/3-540-60983-0_7 Carlos Viegas Damásio; Luís Moniz Pereira. "Abduction over 3-valued extended logic programs". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 1995), Lexington, KY, USA, 1995. Published • 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". Paper presented in Logic Programming, Proceedings of the 1994 International Symposium (ILPS1994), Ithaca, New York, USA, 1994. Published Damásio, Carlos Viegas; Nejdl, Wolfgang; Pereira, Luís Moniz. "REVISE: An Extended Logic Programming System for Revising Knowledge Bases". Paper presented in Principles of Knowledge Representation and Reasoning (KR '94), Bonn, Germany, 1994. Published • 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". Paper presented in 11th European Conference on Artificial Intelligence (ECAI 1994), Amsterdam, The Netherlands, 1994. Published Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Diagnosis and debugging as contradiction removal in logic programs". Paper presented in Progress in Artificial Intelligence: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993, Porto, Portugal, 1993. Published • 10.1007/3-540-57287-2_47 Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Debugging by diagnosing assumptions". Paper presented in International Workshop on Automated and Algorithmic Debugging (AADEBUG 93), Linkoping, Sweden, 1993. Published • 10.1007/bfb0019400 Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes. "Diagnosis and Debugging as Contradiction Removal". Paper presented in Logic Programming and Nonmonotonic Reasoning (LPNMR 1993), Lisbon, Portugal, 1993. Published • 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". Paper presented in SImpósio Brasileiro de Inteligência Artificial (SBIA92), Rio de Janeiro, RJ, Brazil, 1992. Published
Conference poster	Alves, M.B.; Damásio, C.V.; Correia, N.. "Gathering photos from social networks using semantic technologies". Paper presented in 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". Paper presented in 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". Paper presented in European Conference on Artificial Intelligence (ECAI 2004), 2004. Carlos Viegas Damásio; Luís Moniz Pereira. "A model theory for paraconsistent logic programming". Paper presented in Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, 1995. 10.1007/3-540-60428-6_32
Journal article	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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published 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. Published 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. Published • 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. Published • 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. Published • 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. Published 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. Published 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. Published • 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. Published 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. Published • 10.1007/BF00883931
Magazine article	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
Newspaper article	N/A. "Tuta absoluta - terrorista americana ataca searas do Ribatejo", O Ribatejo, 2015
Preface / Postscript	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. Published
Report	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.
Thesis / Dissertation	"Paraconsistent extended logic programming with constraints". PhD, Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, 1996.

Other

Dataset

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

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
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, Spain)
2012/11	Provenance for SPARQL Queries	11th International Semantic Web Conference (ISWC 2012) (Boston, United States)
2012/06	Agrocompanion	Smartagrimatics 2012 (Paris, France)
2011/07	Modularity in the Rule Interchange Format	Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 (Barcelona, Spain)
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, France)
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, Italy)
2002/07	Paraconsistent Logic Programs	Workshop on Paraconsistent Logics of ESSLLI'2002 (Trento, Italy)
2002/02	Invited Talk: W4 - Well-founded Semantics for the World Wide Web	Rule Markup Techniques for the Semantic Web Dagstuhl Seminar 02061 (Dagstuhl, Germany)
2001/09	Antitonic Logic Programs	Logic Programming and Nonmotonic Reasoning (LPNMR2001) (Vienna, Austria)
2000/09	Hybrid probabilistic logic programs as residuated logic programs	European Workshop on Logics in Artificial Intelligence (JELIA2000) (Malaga, Spain)
2000/09	A Distributed Tabling System	Tabulation in Parsing and Dedcution (TAPD 2000) (Vigo, Spain)
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, Germany)
1996/07	Invited Talk: Member of the Implementation Panel	Workshop Disjunctive Logic Programming and Databases: Nonmonotonic Aspects Scholss Dagstuhl (Dagstuhl, Germany)
1995/09	Demonstration of REVISE software	Final meeting of Compulog-2 (Amsterdam, Netherlands)
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, United States)
1994/09	Tabling for Explicit Negation	Compulog-Net Workshop on Parallelism and Implementation (Madrid, Spain)
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, Sweden)
1993/04	Diagnosis and Debugging as 2-valued Contradiction Removal	Compulog-2 knowledge representation area meeting Imperial College (London, United Kingdom)

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2024/03 - Current	Determinação de classe de risco de habitações relativamente a incêndios florestais a partir de imagem aérea Supervisor of Bruno Mendes Silva	Engenharia Informática (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Current	Plataforma Web para Otimização do Sistema de Informação para Monitorização de Faixas de Gestão de Combustível de Incêndios Supervisor of Francisca Martins da Conceição Ferreira e Corga	Engenharia Informática (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Current	Operacionalização de Plataforma Colaborativa para Agricultura Supervisor of Miguel Ramos Baião	Engenharia Informática (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - Current	Integração de informação meteorológica para suporte a modelos preditivos de pragas Supervisor of Tomás António Vieira Chora	Engenharia Informática (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - Current	A Study on Anomaly Detection Algorithms Co-supervisor of Tomás Boniche da Silva	Engenharia Informática (Master) 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 Co-supervisor of Márcia Batalha Matias	Engenharia Informática (Master) 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 Supervisor of Paulo André Marques Pereira dos Santos Paiva	Engenharia Informática (Master) 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 Co-supervisor of João Henrique d'Oliveira Palmeiro	Engenharia Informática (Master) 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 Co-supervisor of Diogo Alexandre Silva Lopes	Engenharia Informática (Master) 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 Supervisor of Bernardo Fernandes Oliveira	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023/06/23	SERS Spectra Classification using Deep Learning Co-supervisor of Matilde Alexandra Damas Lucas	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023/06/22	Identificação de Espécies de Plântulas Infestantes Co-supervisor of António Miguel da Silva Beirão	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Automatic Counting and Georeferencing of Fruits from Video Co-supervisor of Pedro Francisco Cândida Oliveira da Silva Fonte	Engenharia Informática (Master) 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 Co-supervisor of Gonçalo Andrez Prates	Engenharia Informática (Master) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Contagem automática de insetos em armadilhas Co-supervisor of André Manuel Rasteiro de Araújo	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2023	Automatic Wildfire Classification with Fire Danger If-Then Rules Extraction Co-supervisor of João Miguel Alpoim Pinheiro dos Santos	Engenharia Informática (Master) 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 Co-supervisor of Gonçalo Bernardo Severino	Engenharia Informática (Master) 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 Co-supervisor of Francisco Carvão Magarreiro Proença da Silva	Engenharia Informática (Master) 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 Co-supervisor of Diogo Jorge Gato Rebimba	Engenharia Informática (Master) 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 Co-supervisor of Inês Cardoso Leitão Barata de Oliveira	Análise e Engenharia de Big Data (Master) 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 Co-supervisor of Ricardo Filipe Palheira Fernandes	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022/06/27	Information Retrieval using Transformers for Meaningful Document Ranking Co-supervisor of David da Conceição Garcia Sieberger	Engenharia Informática (Master) 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 Co-supervisor of Rúben Filipe Coelho Silva	Engenharia Informática (Master) 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 Co-supervisor of Joana Sofia Rodrigues Barradas	Engenharia Informática (Master) 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 Co-supervisor of Diogo Alexandre Freire da Silva	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2022	Deep Learning Applications for Remote Sensing Co-supervisor of André Neves	Informática (PhD) 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 Co-supervisor of Eduardo Filipe Almeida Fernandes	Engenharia Informática (Master) 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 Co-supervisor of Ana Sofia Lopes Afonso	Engenharia Informática (Master) 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 Co-supervisor of Maria de Amaral Ferreira	Engenharia Informática (Master) 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? Co-supervisor of João Lucas de Campos Dias	Engenharia Informática (Master) 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 Co-supervisor of Henrique Alfaia e Sampaio Coelho	Engenharia Informática (Master) 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 Co-supervisor of Miguel Ângelo Saraiva Correia	Engenharia Informática (Master) 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 Co-supervisor of Mafalda Filipa Caldeira Camilo	Engenharia Informática (Master) 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 Co-supervisor of João Filipe Penteado Ferreira	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/12/20	Remote Sensing and Data Fusion for Eucalyptus Trees Identification Co-supervisor of 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 Co-supervisor of André Tiago Marques Malafaia	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019/12/10	Deteção Remota de Parcelas Agrícolas Co-supervisor of Igor Alexandre Patrício Ruivo	Engenharia Informática (Master) 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 Co-supervisor of André Filipe Graça Lopes	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 - 2019/12/02	Detecção Semi-automática de áreas verdes permanentes Co-supervisor of João Celorico Moreira de Albuquerque	Engenharia Informática (Master) 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 Co-supervisor of Ricardo Francisco Santos Afonso	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/11/21	Deteção remota de estruturas artificiais permanentes Co-supervisor of André Miguel Neves	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2019/11/20	Soil Classification Resorting to Machine Learning Techniques Co-supervisor of Didier Narciso Dias	Engenharia Informática (Master) 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 Co-supervisor of Daniela Sofia da Silva Henriques	Engenharia Informática (Master) 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) Co-supervisor of Rafael Salgado Seara	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - 2018/11/20	Modelos de risco para inimigos do Bróculo Co-supervisor of Eunice Cristina dos Reis Beijinho	Engenharia Informática (Master) 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 Co-supervisor of Hugo Daniel Lino Rações	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2018/06/19	GPU Accelerated Classifier Benchmarking for Wildfire Related Tasks Co-supervisor of Luís Miguel Duque dos Santos	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/12/19	Sentiment Analysis on Twitter for the Portuguese Language Supervisor of Eduardo Santos Duarte	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/12/19	Field Information Web Platform for Agricultural Applications Supervisor of Gonçalo José Esteves Leote	Engenharia Informática (Master) 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 Supervisor of João Pedro Pereira Rico	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013/11/18	Detecção Automática de Actividades Agronómicas Co-supervisor of José Emanuel da Costa Cunha	Engenharia Informática (Master) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2013	Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning Supervisor of João Manuel Gomes Moura	Informática (PhD) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001 - 2008/06	Semantics for Disjunctive Extended Logic Programming Co-supervisor of João Fernando Lima Alcântara	Informática (PhD) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

	Event name Type of event (Role)	Institution / Organization
2005 - 2006	Local Organizer of the Reasoning Web Summer School (2006/09/04 - 2006/09/08) Other	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event participation

	Activity description Type of event	Event name Institution / Organization
2023/05/29 - Current	Webinar - Pode a Inteligência Artificial acelerar a Transição Energética? Other	https://www.unl.pt/agenda/plataformas-interdisciplinares/webinar-pode-inteligencia-artificial-acelerar-transicao Universidade Nova de Lisboa, Portugal

Jury of academic degree

	Topic Role	Candidate name (Type of degree) Institution / Organization
2012/05/11	Intention Recognition, Commitment, and Their Roles in the Evolution of Cooperation Thesis Member	The Anh Han (PhD) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/07	Evolving Knowledge Bases (Thesis) Arguer	João Alexandre Carvalho Pinheiro Leite (PhD) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2002/07	Constraint Solving over Multi-valued Logics Thesis Member	Francisco de Moura e Castro Ascenção de Azevedo (PhD) 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 Thesis Member	Berilhes Borges Garcia (PhD) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001	On Applying Or-Parallelism and Tabling to Logic Programs (Thesis) Arguer	Ricardo Jorge Gomes Lopes da Rocha (PhD) Universidade do Porto Faculdade de Ciências, Portugal

Ad Hoc journal article review

	Journal title (ISSN)	Publisher
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

Conference scientific committee

	Conference name	Conference host
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

Course / Discipline taught

	Academic session	Degree Subject (Type)	Institution / Organization
2022 - Current	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 - Current	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 - Current	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 - Current	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

Evaluation committee

	Activity description Role	Institution / Organization	Funding entity
2019/11/28 - 2019/11/29	Selection of candidates for several positions in the InnovPlantProtect CoLab Evaluator	InnovPlantProtect, Portugal

Interview (newspaper / magazine)

	Activity description	Newspaper / 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

Interview (tv / radio show)

	Program	Topic
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

Other jury / evaluation

	Activity description	Institution / Organization
2023/05/30 - Current	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

Distinctions

Award

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