João Alexandre Carvalho Pinheiro Leite

Former affiliation
  • 982 Citations
  • 15 h-Index
19982019
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.

  • 9 Similar Profiles
Logic programming Engineering & Materials Science
Ontology Engineering & Materials Science
Semantics Engineering & Materials Science
Answer Set Programming Mathematics
Multi agent systems Engineering & Materials Science
Logic Programming Mathematics
Knowledge Base Mathematics
Dynamic Logic Mathematics

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

Research Output at NOVA 1998 2019

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

Telecommunication
Telecommunications
Data storage equipment
Reasoning
Change Management

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)

Leite, J., Cao Son, T., Torroni, P. & Woltran, S., 20 Apr 2018, In : Journal Of Logic And Computation. 28, 3, p. 475-476 2 p.

Research output: Contribution to journalEditorial

4 Citations (Scopus)

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments

Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. & Pührer, J., 1 Mar 2018, In : Artificial Intelligence. 256, p. 68-104 37 p.

Research output: Contribution to journalArticle

Knowledge representation
Computational complexity
Semantics
knowledge
semantics

Variable Elimination for DLP-Functions

Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2018, p. 643-644. 2 p.

Research output: Contribution to conferenceAbstract

persistence
programme
7 Citations (Scopus)

A bird’s-eye view of forgetting in answer-set programming

Leite, J., 2017, p. 10-22. 13 p.

Research output: Contribution to conferencePaper

Open Access
Answer Set Programming
Atoms
Property of set
Answer Sets
Knowledge Base

Activities 2002 2018

  • 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