Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science , Doctorate, Evolving Knowledge Bases-specification and Semantics, Universidade NOVA de Lisboa
Award Date: 1 Jan 2002
External positions
Senior Visiting Fellow, UNSW Sydney
1 Mar 2016 → 28 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
-
Forgetting in Answer Set Programming - A Survey
Gonçalves, R., Knorr, M. & Leite, J., Jan 2023, In: Theory and Practice of Logic Programming. 23, 1, p. 111-156Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)1 Downloads (Pure) -
A Brief History of Updates of Answer-Set Programs
Leite, J. & Slota, M., 22 Mar 2022, In: Theory and Practice of Logic Programming. 54 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Ferreira, J., de Sousa Ribeiro, M., Gonçalves, R. & Leite, J., 2022, 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.). International Joint Conferences on Artificial Intelligence, p. 432-442 11 p. (19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Citations (Scopus) -
On Syntactic Forgetting under Uniform Equivalence
Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 4 Aug 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 364, p. 191-193 3 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
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
Activities
- 9 Editorial activity
-
Journal Of Logic And Computation (Journal)
João Alexandre Carvalho Pinheiro Leite (Editorial board member)
20 Apr 2018Activity: Publication peer-review and editorial work › Editorial activity
-
Argument and Computation (Journal)
João Alexandre Carvalho Pinheiro Leite (Editorial board member)
2 Jan 2015Activity: Publication peer-review and editorial work › Editorial activity
-
Journal Of Logic And Computation (Journal)
João Alexandre Carvalho Pinheiro Leite (Editor)
1 Jan 2014Activity: Publication peer-review and editorial work › Editorial activity
-
Annals of Mathematics and Artificial Intelligence (Journal)
João Alexandre Carvalho Pinheiro Leite (Editor)
1 Jan 2011Activity: Publication peer-review and editorial work › Editorial activity
-
Journal Of Applied Logic (Journal)
João Alexandre Carvalho Pinheiro Leite (Editor)
1 Jan 2007Activity: Publication peer-review and editorial work › Editorial activity