João Alexandre Carvalho Pinheiro Leite

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science , Doctorate, Universidade NOVA de Lisboa

Award Date: 1 Jan 2002

External positions

Senior Visiting Fellow, UNSW Sydney

1 Mar 201628 Feb 2019

Fingerprint

Dive into the research topics where João Alexandre Carvalho Pinheiro Leite is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL

    Ferreira, R., Lopes, C., Gonçalves, R., Knorr, M., Krippahl, L. & Leite, J., 2021, Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Proceedings. Marreiros, G., Melo, F. S., Lau, N., Lopes Cardoso, H. & Reis, L. P. (eds.). Cham: Springer, p. 338-350 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12981 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks

    Ferreira, J., Lavado, D., Gonçalves, R., Knorr, M., Krippahl, L. & Leite, J., 2021, Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Proceedings. Marreiros, G., Melo, F. S., Lau, N., Lopes Cardoso, H. & Reis, L. P. (eds.). Cham: Springer, p. 363-375 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12981 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Forgetting in Answer Set Programming - A Survey

    Gonçalves, R., Knorr, M. & Leite, J., 2021, (Accepted/In press) In: Theory and Practice of Logic Programming.

    Research output: Contribution to journalArticlepeer-review

  • On Syntactic Forgetting Under Uniform Equivalence

    Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Cham: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • Tractable Reasoning Using Logic Programs with Intensional Concepts

    Heyninck, J., Gonçalves, R., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Cham: Springer, p. 329-345 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review