Photo of João Alexandre Carvalho Pinheiro Leite

João Alexandre Carvalho Pinheiro Leite

Former affiliation
  • 1137 Citations
  • 16 h-Index
19982019

Research output per year

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

Personal profile

External positions

Senior Visiting Fellow, University of New South Wales (UNSW) Australia

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.

  • 11 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 1 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1038-1055 18 p.

Research output: Contribution to journalArticle

Open Access
  • 1 Citation (Scopus)

    Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

    Martins, J. G., Platzer, A. & Leite, J., 2019, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2019. Cerrito, S. & Popescu, A. (eds.). Cham: Springer, p. 428-445 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11714).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)

    Forgetting in Answer Set Programming with Anonymous Cycles

    Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 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. 552-565 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11805 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Forgetting in Modular Answer Set Programming

    Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2019, 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence. AAAI Press, p. 2843-2850 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Telco Network Inventory Validation with NoHR

    Kasalica, V., Gerochristos, I., Alferes, J. J., Gomes, A. S., Knorr, M. & Leite, J., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Woltran, S. & Lierler, Y. (eds.). Cham: Springer Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Activities

    • 9 Editorial activity

    Journal Of Logic And Computation (Journal)

    João Alexandre Carvalho Pinheiro Leite (Editorial board member)
    20 Apr 2018

    Activity: Publication peer-review and editorial workEditorial activity

    Argument and Computation (Journal)

    João Alexandre Carvalho Pinheiro Leite (Editorial board member)
    2 Jan 2015

    Activity: Publication peer-review and editorial workEditorial activity

    Journal Of Logic And Computation (Journal)

    João Alexandre Carvalho Pinheiro Leite (Editor)
    1 Jan 2014

    Activity: Publication peer-review and editorial workEditorial activity

    Annals Of Mathematics And Artificial Intelligence (Journal)

    João Alexandre Carvalho Pinheiro Leite (Editor)
    1 Jan 2011

    Activity: Publication peer-review and editorial workEditorial activity

    Journal Of Applied Logic (Journal)

    João Alexandre Carvalho Pinheiro Leite (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial workEditorial activity