Skip to main content

4 Result(s)

within Conference Paper Remove this filter João Barbosa Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Benefits of University-Industry R&D Collaborations: A Systematic Literature Review

    University-Industry R&D collaboration (UIC) project is a temporary organization with a collaborative work environment, with heterogeneous partners who have collective responsibilities, and seek to grant benefi...

    João Barbosa, Gabriela Fernandes… in Innovations in Industrial Engineering II (2023)

  2. No Access

    Chapter and Conference Paper

    Typed SLD-Resolution: Dynamic Ty** for Logic Programming

    The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic program...

    João Barbosa, Mário Florido… in Logic-Based Program Synthesis and Transfor… (2022)

  3. No Access

    Chapter and Conference Paper

    Data Type Inference for Logic Programming

    In this paper we present a new static data type inference algorithm for logic programming. Without the need for declaring types for predicates, our algorithm is able to automatically assign types to predicates...

    João Barbosa, Mário Florido… in Logic-Based Program Synthesis and Transfor… (2022)

  4. No Access

    Chapter and Conference Paper

    Implementation and Validation of a Docking System for Nonholonomical Vehicles

    This paper presents the experimental validation of a docking system for a differential drive robot. The docking problem is solved with a smooth, time-invariant, globally asymptotically stable feedback control ...

    João Barbosa, Carlos Cardeira… in CONTROLO’2014 – Proceedings of the 11th Po… (2015)