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.
- 11 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Abstract Dialectical Frameworks are Boolean Networks*
Heyninck, J., Knorr, M. & Leite, J., 2024, In: CEUR Workshop Proceedings. 3835, p. 53-60 8 p.Research output: Contribution to journal › Conference article › peer-review
-
On Abstracting over the Irrelevant in Answer Set Programming
Saribatur, Z. G., Knorr, M., Gonçalves, R. & Leite, J., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 654-664 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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 AccessFile5 Citations (Scopus)10 Downloads (Pure) -
Revising Boolean Logical Models of Biological Regulatory Networks
Aleixo, F., Knorr, M. & Leite, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning: KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). Association for the Advancement of Artificial Intelligence, p. 12-22 11 p. ( International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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 AccessFile1 Citation (Scopus)33 Downloads (Pure)
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