João Pedro Leal Nogueira Simas Leite
AuthID: R-001-0VQ
1
TÃTULO: Abstract Dialectical Frameworks are Boolean Networks*
AUTORES: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2024, FONTE: 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024 in CEUR Workshop Proceedings, VOLUME: 3835
AUTORES: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2024, FONTE: 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024 in CEUR Workshop Proceedings, VOLUME: 3835
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Tractable Reasoning using Logic Programs with Intensional Concepts
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXADO EM: Scopus
Scopus3
TÃTULO: Proceedings 38th International Conference on Logic Programming. Tractable Reasoning using Logic Programs with Intensional Concepts (Report) Full Text
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTORES: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLICAÇÃO: 2022, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
INDEXADO EM: 
CrossRef
CrossRef4
TÃTULO: Critical evaluation of techniques to detect and measure cell death - study in a model of UV radiation of the leukaemic cell line HL60 Full Text
AUTORES: Leite, M; Quinta Costa, M; Leite, PS; Guimaraes, JE ;
PUBLICAÇÃO: 1999, FONTE: ANALYTICAL CELLULAR PATHOLOGY, VOLUME: 19, NÚMERO: 3-4
AUTORES: Leite, M; Quinta Costa, M; Leite, PS; Guimaraes, JE ;
PUBLICAÇÃO: 1999, FONTE: ANALYTICAL CELLULAR PATHOLOGY, VOLUME: 19, NÚMERO: 3-4
