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)
• 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

  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)

• 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)

• 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)
• 2013

  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)

• 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)
• 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)

• 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)
• 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)
• 2003

  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)
• 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)
• 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
  25 Downloads (Pure)
• 1993

  Debugging by diagnosing assumptions

  Pereira, L. M., Damásio, C. V. & Alferes, J. J., 1993, Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. Fritzson, P. A. (ed.). Berlin, Heidelberg: Springer, p. 59-74 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 749 LNCS).

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

  • Debugging 100%
  • Well-founded Semantics 49%
  • Semantics 33%
  • Program Transformation 23%
  • Logic Programming 19%
  13 Citations (Scopus)

• Diagnosis and debugging as contradiction removal

  Pereira, L. M., Damásio, C. A. I. P. V. & Alferes, J. J. A., 1 Jan 1993, MIT Press. p. 316-330

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

  Open Access

  File
  23 Downloads (Pure)

• Diagnosis and debugging as contradiction removal in logic programs

  Pereira, L. M., Damásio, C. V. & Alferes, J. J., 1993, Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings. Filgueiras, M. & Damas, L. (eds.). Berlin, Heidelberg: Springer, p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 727 LNAI).

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

  • Debugging 100%
  • Logic programming 77%
  • Logic Programs 76%
  • Integrity 58%
  • Acoustic waves 51%
  5 Citations (Scopus)