João Pedro Leal Nogueira Simas Leite
AuthID: R-001-0VQ
1
TITLE: Abstract Dialectical Frameworks are Boolean Networks*
AUTHORS: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLISHED: 2024, SOURCE: 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024 in CEUR Workshop Proceedings, VOLUME: 3835
AUTHORS: Jesse Heyninck; Matthias Knorr; João Leite;
PUBLISHED: 2024, SOURCE: 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024 in CEUR Workshop Proceedings, VOLUME: 3835
INDEXED IN: 
Scopus
Scopus2
TITLE: Tractable Reasoning using Logic Programs with Intensional Concepts
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 364
INDEXED IN: Scopus
Scopus3
TITLE: Proceedings 38th International Conference on Logic Programming. Tractable Reasoning using Logic Programs with Intensional Concepts (Report) Full Text
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
AUTHORS: Jesse Heyninck; Ricardo Gonçalves; Matthias Knorr; João Leite;
PUBLISHED: 2022, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 364
INDEXED IN: 
CrossRef
CrossRef4
TITLE: 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
AUTHORS: Leite, M; Quinta Costa, M; Leite, PS; Guimaraes, JE ;
PUBLISHED: 1999, SOURCE: ANALYTICAL CELLULAR PATHOLOGY, VOLUME: 19, ISSUE: 3-4
AUTHORS: Leite, M; Quinta Costa, M; Leite, PS; Guimaraes, JE ;
PUBLISHED: 1999, SOURCE: ANALYTICAL CELLULAR PATHOLOGY, VOLUME: 19, ISSUE: 3-4
