Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
João Luis Alves Barbosa
AuthID:
R-00J-ST0
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (3)
Article (1)
Year Start - End:
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 4
1
TITLE:
Data Type Inference for Logic Programming
AUTHORS:
Barbosa, Joao
;
Florido, Mario
;
Costa, Vitor Santos
;
PUBLISHED:
2022
,
SOURCE:
31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
in
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021),
VOLUME:
13290
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
3
2
TITLE:
Fifty Years of Prolog and Beyond
AUTHORS:
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;
PUBLISHED:
2022
,
SOURCE:
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
VOLUME:
22,
ISSUE:
6
INDEXED IN:
WOS
DBLP
CrossRef
:
9
3
TITLE:
Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS:
Barbosa, Joao
;
Florido, Mario
;
Costa, Vitor Santos
;
PUBLISHED:
2022
,
SOURCE:
32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
in
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022),
VOLUME:
13474
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
4
TITLE:
A Three-Valued Semantics for Typed Logic Programming
PDF
Full Text
AUTHORS:
João Barbosa
;
Mário Florido
;
Vítor Santos Costa
;
PUBLISHED:
2019
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
arXiv
CrossRef
:
2
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service