Research output

Research output per year 1993 2009 2011 2015 2022

• 32 Conference contribution
• 18 Article
• 2 Book
• 1 Chapter

Research output per year

Research output per year

Search results

• 2022

  Towards Provenance in Heterogeneous Knowledge Bases

  Knorr, M., Damásio, C. V., Gonçalves, R. & Leite, J., 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Cham: Springer, p. 287-300 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Provenance 100%
  • Knowledge Base 77%
  • Finance 69%
  • World Wide Web 59%
  • Standardization 57%
  1 Citation (Scopus)
• 2021

  Data fusion approach for eucalyptus trees identification

  Oliveira, D., Martins, L., Mora, A., Damásio, C., Caetano, M., Fonseca, J. & Ribeiro, R. A., 2021, In: International Journal of Remote Sensing. 42, 11, p. 4087-4109 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • satellite image 100%
  • multispectral image 63%
  • aircraft 48%
  • remote sensing 35%
  • analysis 14%
  12 Citations (Scopus)

  136 Downloads (Pure)
• 2020

  Assessment of interventions in fuel management zones using remote sensing

  Afonso, R., Neves, A., Damásio, C. V., Pires, J. M., Birra, F. & Santos, M. Y., 7 Sept 2020, In: ISPRS International Journal of Geo-Information. 9, 9, 9090533.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • remote sensing 100%
  • management 75%
  • wildfire 52%
  • monitoring 38%
  • vegetation 31%
  9 Citations (Scopus)

  36 Downloads (Pure)
• 2019

  Application of Different Machine Learning Strategies for Current- And Vibration-based Motor Bearing Fault Detection in Induction Motors

  Rações, H. D. L., Ferreira, F. J. T. E., Pires, J. M. & Damásio, C. V., Oct 2019, Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Computer Society, p. 68-73 6 p. 8927129. (IECON Proceedings (Industrial Electronics Conference); vol. 2019-October).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fault detection 100%
  • Induction motors 98%
  • Statistical methods 90%
  • Machine learning 78%
  • Spectrum analysis 73%
  7 Citations (Scopus)

• Soil classification based on physical and chemical properties using random forests

  Dias, D., Martins, B., Pires, J., De Sousa, L. M., Estima, J. & Damásio, C. V., 30 Aug 2019, Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings. Moura Oliveira, P., Novais, P. & Reis, L. P. (eds.). Cham: Springer, p. 212-223 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11804 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Random Forest 100%
  • Physical property 84%
  • Soil 81%
  • Chemical properties 76%
  • Random forests 72%
• 2017

  Severity estimation of stator winding short-circuit faults using cubist

  dos Santos, T., Ferreira, F. J. T. E., Pires, J. M. & Damásio, C. V., 1 Jan 2017, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer Verlag, Vol. 10423 LNAI. p. 217-228 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Induction Motor 100%
  • Cage 88%
  • Squirrel cage motors 87%
  • Fault 74%
  • Voltage 73%

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

  Dos Santos, T., Ferreira, F. J. T. E., Pires, J. M. & Damasio, C., 3 Aug 2017, 2017 IEEE International Electric Machines and Drives Conference, IEMDC 2017. Institute of Electrical and Electronics Engineers (IEEE), 8002350

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Random forests 100%
  • Short circuit currents 92%
  • Induction motors 86%
  • Stators 82%
  • Failure analysis 81%
  35 Citations (Scopus)

• Temporal reasoning with non-convex intervals

  Bento Alves, M., Viegas Damásio, C. & Correia, N., 1 Jan 2017, Knowledge Engineering and Semantic Web - 8th International Conference, Proceedings. Lange, C. & Rozewski, P. (eds.). Springer Verlag, p. 127-142 16 p. (Communications in Computer and Information Science; vol. 786).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Temporal Reasoning 100%
  • Ontology 68%
  • Interval 39%
  • Web Application 29%
  • Semantic Web 28%
• 2016

  A Semantic Web Approach to Low-Level Features in Images

  Alves, M. B., Viegas Damásio, C. & Correia, N. M. R., Nov 2016, Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web: WebMedia'16. ACM - Association for Computing Machinery, p. 195-198

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Semantic Web 100%
  • Ontology 55%
  • Open Data 40%
  • Image retrieval 33%
  • Image processing 25%

• RDF query and inference in prolog

  Alves, M. B., Damásio, C. V. & Correia, N., 2016, Knowledge Engineering and Semantic Web, (KESW). Springer Verlag, Vol. 649. p. 191-201 11 p. (Communications in Computer and Information Science; vol. 649).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Semantic Web 100%
  4 Citations (Scopus)
• 2015

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

  Marques da Silva, J. R., Damasio, C. V., Sousa, A. M. O., Bugalho, L., Pessanha, L. & Quaresma, P., Jun 2015, In: International journal of applied earth observation and geoinformation. 38, p. 40-50 11 p.

  Research output: Contribution to journal › Article › peer-review

  • pest 100%
  • land surface 75%
  • surface temperature 71%
  • spatial resolution 67%
  • agriculture 62%

• Allowing cyclic dependencies in modular logic programming

  Damásio, C. V. & João, M., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 363-375 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic Programming 100%
  • Logic programming 97%
  • Module 55%
  • Computer programming 43%
  • Semantics 28%
  1 Citation (Scopus)

• Extended RDF: Computability and complexity issues

  Analyti, A., Damásio, C. V. & Antoniou, G., Dec 2015, In: Annals of Mathematics and Artificial Intelligence. 75, 3-4, p. 267-334

  Research output: Contribution to journal › Article › peer-review

  • Computability 100%
  • Semantics 75%
  • Stable Models 65%
  • Ontology 60%
  • Syntax 28%
  4 Citations (Scopus)

• Extracting metadata from multimedia content on facebook as media annotations

  Alves, M. B., Damásio, C. A. I. P. V. & Correia, N., 2015, Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Proceedings. Springer Verlag, Vol. 518. p. 243-252 10 p. (Communications in Computer and Information Science; vol. 518).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Metadata 100%
  • Ontology 85%
  1 Citation (Scopus)

• Nested contextualised views in the web of data

  Analyti, A., Damásio, C. V. & Pachoulakis, I., 2015, In: International Journal of Web Engineering and Technology. 10, 1, p. 31-64 34 p.

  Research output: Contribution to journal › Article › peer-review

  • Relativity 100%
  • Navigation 54%
  1 Citation (Scopus)

• SPARQL commands in jena rules

  Alves, M. B., Damásio, C. V. & Correia, N., 2015, Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Proceedings. Springer Verlag, Vol. 518. p. 253-262 10 p. (Communications in Computer and Information Science; vol. 518).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Inference engines 100%
  • Query languages 88%
  4 Citations (Scopus)

• Unifying justifications and debugging for answer-set programs

  Damásio, C. V. & Analyti, A., 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). Eiter, T., de Vos, M., Lierler, Y. & Toni, F. (eds.). CEUR-WS.org, p. 1-14 14 p. (CEUR Workshop Proceedings; vol. 1433).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Repair 100%
  • Semantics 83%
  2 Citations (Scopus)
• 2014

  Using GPS logs to identify agronomical activities

  Rodrigues, A., Damásio, C. & Cunha, J. E., Jan 2014, Connecting a Digital Europe Through Location and Place. Huerta, J., Schade, S. & Granell, C. (eds.). Cham: Springer International Publishing, Vol. 2. p. 105-121 17 p. (Lecture Notes in Geoinformation and Cartography).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
  6 Citations (Scopus)

• Why-provenance information for RDF, rules, and negation

  Analyti, A., Damásio, C. V., Antoniou, G. & Pachoulakis, I., Mar 2014, In: Annals of Mathematics and Artificial Intelligence. 70, 3, p. 221-277 57 p.

  Research output: Contribution to journal › Article › peer-review

  • Provenance 100%
  • Ontology 81%
  • Stable Models 21%
  • Information Quality 16%
  • Accountability 15%
  4 Citations (Scopus)
• 2013

  A framework for modular ERDF ontologies

  Analyti, A., Antoniou, G., Damásio, C. V. & Pachoulakis, I., Mar 2013, In: Annals of Mathematics and Artificial Intelligence. 67, 3-4, p. 189-249 61 p.

  Research output: Contribution to journal › Article › peer-review

  • Ontology 100%
  • Semantics 50%
  • Framework 42%
  • Stable Models 25%
  • Encapsulation 16%
  5 Citations (Scopus)

• Justifications for logic programming

  Viegas Damásio, C., Analyti, A. & Antoniou, G., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Vol. 8148 LNAI. p. 530-542 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Provenance 100%
  • Relational Algebra 83%
  • Logic Programming 72%
  • Logic programming 70%
  • Justification 60%
  30 Citations (Scopus)
• 2012

  Provenance for SPARQL Queries

  Damásio, C. A. I. P. V., 1 Jan 2012, Lecture Notes in Computer Science. p. 625-640

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  21 Citations (Scopus)
• 2011

  Modularity in the Rule Interchange Format

  Damásio, C. A. I. P. V., 1 Jan 2011, Lecture Notes in Computer Science. Bassiliades, N., Governatori, G. & Paschke, A. (eds.). Barcelona, Spain: Springer Berlin / Heidelberg, Vol. 6826. p. 313-328

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Modularity of P-Log programs

  Damásio, C. A. I. P. V., 1 Jan 2011, Lecture Notes in Computer Science. Delgrande, J. & Faber, W. (eds.). Springer Berlin / Heidelberg, Vol. 6645. p. 13-25

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  3 Citations (Scopus)

• MWeb: A principled framework for modular web rule bases and its semantics

  Damásio, C. A. I. P. V., 1 Jan 2011, In: Acm Transactions On Computational Logic. 12, 2, p. Article \#17, 41 pages

  Research output: Contribution to journal › Article › peer-review

  Open Access
  16 Citations (Scopus)

• On the notions of residuated-based coherence and bilattice-based consistence

  Damásio, C. A. I. P. V., 1 Jan 2011, Lecture Notes in Computer Science. Fanelli, AM., Pedrycz, W. & Petrosino, A. (eds.). Trani, Italy: Springer Berlin / Heidelberg, Vol. 6857. p. 115-122

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  4 Citations (Scopus)

• Practical RDF Schema Reasoning with Annotated Semantic Web Data

  Damásio, C. A. I. P. V., 1 Jan 2011, Lecture Notes in Computer Science. p. 746-761

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)

  Damásio, C. A. I. P. V., 1 Jan 2011, Ithaca: Computing Research Repository (CoRR).

  Research output: Book/Report › Book

• RuleML2011@BRF Challenge Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium

  Damásio, C. A. I. P. V., 1 Jan 2011, Aachen, Germany: RWTH Aachen University. (CEUR Workshop Proceedings; no. 799)

  Research output: Book/Report › Book
• 2010

  Declarative Semantics for the Rule Interchange Format Production Rule Dialect

  Damásio, C. A. I. P. V., Leite, J. A. C. P. & Alferes, J. J. A., 1 Jan 2010, Lecture Notes in Computer Science. p. 798-813

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  9 Citations (Scopus)

• Embeddings of Simple Modular Extended RDF

  Damásio, C. A. I. P. V., 1 Jan 2010, Lecture Notes in Computer Science. Hitzler, P. & Lukasiewicz, T. (eds.). Bressanone/Brixen, Italy: Springer, Vol. 6333. p. 204-212

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Implementing Simple Modular ERDF ontologies

  Damásio, C. A. I. P. V., 1 Jan 2010, Frontiers in Artificial Intelligence and Applications. Coelho, H., Struder, R. & Wooldridge, M. (eds.). Lisboa, Portugal: IOS Press, Vol. 215. p. 1083-1084

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)
• 2009

  A Formal Theory for Modular ERDF Ontologies

  Analyti, A., Antoniou, G. & Damásio, C. A. I. P. V., 1 Jan 2009, Lecture Notes in Computer Science. Polleres, A. & Swift, T. (eds.). Chantilly, VA, USA: Springer, Vol. 5837. p. 212-226

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Ontology 100%
  • Semantics 80%
  • Encapsulation 26%
  • Semantic Web 24%
  • Access control 22%
  6 Citations (Scopus)

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

  Damásio, C. A. I. P. V., 1 Jan 2009, In: SIAM Journal on Computing (SICOMP). 38, 5, p. 1881-1911

  Research output: Contribution to journal › Article › peer-review

  Open Access
  29 Citations (Scopus)

• Semantically Enabled Framework for User Centric Profile Description, Search and Match

  Damásio, C. A. I. P. V., 1 Jan 2009, Lecture Notes in Computer Science. Vienna, Austria: Springer, Vol. 4907. p. 326-335

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Tabling for P-log probabilistic query evaluation.

  Damásio, C. A. I. P. V., 1 Jan 2009, NONE. Lopes, LS., Lau, N., Mariano, P. & Rocha, LM. (eds.). Universidade de Aveiro, Vol. N/A. p. 115-126

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
• 2008

  An Implementation of Extended P-Log Using XASP

  Anh, H. T., Ramli, C. D. P. K. & Damasio, C. V., 2008, LOGIC PROGRAMMING, PROCEEDINGS. DelaBanda, MG. & Pontelli, E. (eds.). SPRINGER-VERLAG BERLIN, p. 739-743 5 p. (Lecture Notes in Computer Science; vol. 5366).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  17 Citations (Scopus)

• Extended RDF as a semantic foundation of rule markup languages

  Analyti, A., Damásio, C. A. I. P. V., Antoniou, G. & Wagner, G. R., May 2008, In: Journal of Artificial Intelligence Research. 32, 1, p. 37-94 58 p.

  Research output: Contribution to journal › Article › peer-review
  33 Citations (Scopus)

• Representing uncertainty in RuleML

  Damásio, C. A. I. P. V., Pan, J. Z., Stoilos, G. & Straccia, U., 2008, In: Fundamenta Informaticae. 82, 3, p. 265-288 24 p.

  Research output: Contribution to journal › Article › peer-review

  15 Citations (Scopus)
• 2005

  An encompassing framework for Paraconsistent Logic Programs

  Alcântara, J. F. L., Damásio, C. A. I. P. V. & Pereira, L. M., Mar 2005, In: Journal of Applied Logic. 3, 1, p. 67-95 29 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Paraconsistent Logic 100%
  • Logic programming 80%
  • Logic Programs 80%
  • Logic Programming 49%
  • Framework 39%
  30 Citations (Scopus)

• Towards a general web rule language

  Wagner, G. R., Damásio, C. A. I. P. V. & Antoniou, G., 2005, In: International Journal of Web Engineering and Technology. 2, 2-3, p. 181-206 26 p.

  Research output: Contribution to journal › Article › peer-review
  20 Citations (Scopus)
• 2004

  Deductive Diagnosis of Digital Circuits

  Alferes, J. J. A., Azevedo, F. D. M. E. C. A. D., Barahona, P. M. C. C. D., Damásio, C. A. I. P. V. & Swift, T., 1 Jan 2004, IFIP World Computer Congress. Vol. 154. p. 155-166 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File

  • Combinatorial circuits 100%
  • Logic programming 92%
  • Digital circuits 86%
  • Networks (circuits) 42%
  2 Citations (Scopus)

  15 Downloads (Pure)

• Negation and Negative Information in the W3C Resource Description Framework

  Damásio, C. A. I. P. V., Analyti, A., Antoniou, G. & Wagner, G. R., 2004, In: Annals of Mathematics Computing Teleinformatics. 2, 1, p. 25-34 10 p.

  Research output: Contribution to journal › Article › peer-review
• 2003

  From rough sets to rough knowledge bases

  Damásio, C. A. I. P. V., 1 Jan 2003, In: Fundamenta Informaticae. 57, 2-4, p. 215-246

  Research output: Contribution to journal › Article › peer-review

  7 Citations (Scopus)

• Semantic Web Logic Programming tools

  Alferes, J. J. A., Damásio, C. A. I. P. V. & Pereira, L. M., 1 Jan 2003, Lecture Notes in Computer Science. Vol. 2901. p. 16-32 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Logic programming 100%
  • Semantic Web 86%
  15 Citations (Scopus)
• 2002

  Hybrid Probabilistic Logic Programs as Residuated Logic Programs

  Damásio, C. A. I. P. V., 1 Jan 2002, In: Studia Logica. 72, 1, p. 113-138

  Research output: Contribution to journal › Article › peer-review

  Open Access
  10 Citations (Scopus)

• Using extended logic programming for alarm-correlation in cellular phone networks

  Damásio, C. A. I. P. V., Fröhlich, P. H., Nejdl, W., Pereira, L. M. & Schroeder, M., Sept 2002, In: Applied Intelligence. 17, 2, p. 187-202 16 p.

  Research output: Contribution to journal › Article › peer-review
  8 Citations (Scopus)
• 2000

  Psychiatric Diagnosis from the Viewpoint of Computational Logic

  Damásio, C. A. I. P. V., 1 Jan 2000, Lecture Notes in Computer Science . Vol. 1861. p. 1362-1376

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  14 Citations (Scopus)

  37 Downloads (Pure)
• 1995

  A Logic Programming System for Non-monotonic Reasoning

  Alferes, J. J. A., Damásio, C. A. I. P. V. & Pereira, L. M., Feb 1995, In: Journal of Automated Reasoning. 14, 1, p. 93-147 55 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Nonmonotonic Reasoning 100%
  • Logic Programming 84%
  • Logic programming 82%
  • Semantics 47%
  • Truth 36%
  51 Citations (Scopus)
• 1994

  SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION

  Damásio, C. A. I. P. V. & Alferes, J. J. A., 1 Jan 1994, MIT PRESS SERIES IN LOGIC PROGRAMMING. p. 424-438

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  21 Downloads (Pure)