João Barbosa

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 15

Top Topics

Logic Programming

Answer Set Programming

Defeasible Argumentation

Top Venues

Publications

João Barbosa, Mário Florido, Vítor Santos Costa
Regular Typed Unification. CoRR (2024)
Luís Paulo Santos, Thomas Bashford-Rogers, João Barbosa, Paul A. Navrátil
Towards Quantum Ray Tracing. CoRR (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Typed SLD-Resolution: Dynamic Typing for Logic Programming. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Typed SLD-Resolution: Dynamic Typing for Logic Programming. LOPSTR (2022)
Stefan Zellmann, Ingo Wald, João Barbosa, Serkan Dermic, Alper Sahistan, Ugur Güdükbay
Hybrid Image-/Data-Parallel Rendering Using Island Parallelism. LDAV (2022)
Alper Sahistan, Serkan Demirci, Ingo Wald, Stefan Zellmann, João Barbosa, Nathan Morrical, Ugur Güdükbay
GPU-based Data-parallel Rendering of Large, Unstructured, and Non-convexly Partitioned Data. CoRR (2022)
João Barbosa, Mário Florido, Vítor Santos Costa
Data Type Inference for Logic Programming. LOPSTR (2021)
André Resende, Sara M. Cerqueira, João Barbosa, Eurico Damásio, Ana Pombeiro, Alexandre Silva, Cristina Santos
Ergowear: an ambulatory, non-intrusive, and interoperable system towards a Human-aware Human-robot Collaborative framework. ICARSC (2021)
João Barbosa, Mário Florido, Vítor Santos Costa
Data Type Inference for Logic Programming. CoRR (2021)
João Barbosa, Mário Florido, Vítor Santos Costa
A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications (2019)
Ana Correia, Bruno Amaro, Emanuel Junior, João Barbosa, Tiago Pinto, Estela Bicho, Filomena O. Soares, Paulo Moura Oliveira
Teaching/learning PBL activity: Gantry crane control system implementation. MED (2017)
João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre
Design and Validation of an RGB-D Based Localization System - Integration in a Docking System. J. Intell. Robotic Syst. 80 (3-4) (2015)
Roberto Ribeiro, João Barbosa, Luís Paulo Santos
A Framework for Efficient Execution of Data Parallel Irregular Applications on Heterogeneous Systems. Parallel Process. Lett. 25 (2) (2015)
João Barbosa, Carlos B. Cardeira, Paulo Jorge Ramalho Oliveira, Pedro Tiago Martins Batista, Carlos Silvestre
Design and validation of a linear parameter varying localization system. ICARSC (2014)
Tanya E. Clement, David Tcheng, Loretta Auvil, Boris Capitanu, João Barbosa
Distant Listening to Gertrude Stein's 'Melanctha': Using Similarity Analysis in a Discovery Paradigm to Analyze Prosody and Author Influence. Lit. Linguistic Comput. 28 (4) (2013)
Mark Mudge, Tom Malzbender, Alan Chalmers, Roberto Scopigno, James Davis, Oliver Wang, Prabath Gunawardane, Michael Ashley, Martin Doerr, Alberto Proença, João Barbosa
Image-Based Empirical Information Acquisition, Scientific Reliability, and Long-Term Digital Preservation for the Natural Sciences and Cultural Heritage. Eurographics (Tutorials) (2008)
João Barbosa, Paulo Bernardes, Matheus Almeida, Pedro Gomes, Ricardo Gonçalves, Alberto Proença
A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering. VAST (2008)