Carlos Viegas Damásio

A logic programming system for nonmonotonic reasoning

José Júlio Alferes, Carlos Viegas Damásio, Luı́s Moniz Pereira · Journal of Automated Reasoning · 1995 · 70 citations

Non-classical Logic, Engineering, Automated Reasoning +6

Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature

José Marques da Silva, Carlos Viegas Damásio, Adélia Sousa et al. · International Journal of Applied Earth Observation and Geoinformation · 2015 · 53 citations · Full text

Precision Agriculture, Environmental Monitoring, Engineering +12

Stator winding short-circuit fault diagnosis in induction motors using random forest

Tiago dos Santos, Fernando J. T. E. Ferreira, João Moura Pires et al. · 2017 · 46 citations

Fault Diagnosis, Condition Monitoring, Electrical Engineering +14

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

Umberto Straccia, Manuel Ojeda‐Aciego, Carlos Viegas Damásio · SIAM Journal on Computing · 2009 · 33 citations

Mathematical Programming, Applied Logic, Engineering +17

Termination of logic programs with imperfect information: applications and query procedure

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda‐Aciego · Journal of Applied Logic · 2006 · 31 citations

Applied Logic, Decision Procedure, Computational Logic +12