João Luis Alves Barbosa


AuthID: R-00J-ST0

Publicações Confirmadas: 4



1
TÍTULO: Data Type Inference for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2
TÍTULO: Fifty Years of Prolog and Beyond
AUTORES: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6
INDEXADO EM: WOS DBLP CrossRef: 9
3
TÍTULO: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4
TÍTULO: A Three-Valued Semantics for Typed Logic Programming PDF  Full Text
AUTORES: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLICAÇÃO: 2019, FONTE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service