Search Results for author: Luis C. Lamb

Found 10 papers, 1 papers with code

Solving the Kidney-Exchange Problem via Graph Neural Networks with No Supervision

no code implementations19 Apr 2023 Pedro Foletto Pimenta, Pedro H. C. Avelar, Luis C. Lamb

The proposed technique consists of two main steps: the first is a Graph Neural Network (GNN) trained without supervision; the second is a deterministic non-learned search heuristic that uses the output of the GNN to find paths and cycles.

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming

no code implementations18 Apr 2023 João Flach, Luis C. Lamb

To study the capabilities of neural networks in the symbolic AI domain, researchers have explored the ability of deep neural networks to learn mathematical constructions, such as addition and multiplication, logic inference, such as theorem provers, and even the execution of computer programs.

Graph-based Neural Modules to Inspect Attention-based Architectures: A Position Paper

no code implementations13 Oct 2022 Breno W. Carvalho, Artur D'Avilla Garcez, Luis C. Lamb

Encoder-decoder architectures are prominent building blocks of state-of-the-art solutions for tasks across multiple fields where deep learning (DL) or foundation models play a key role.

Position

Neurosymbolic AI: The 3rd Wave

no code implementations10 Dec 2020 Artur d'Avila Garcez, Luis C. Lamb

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry.

Logical Reasoning

Discrete and Continuous Deep Residual Learning Over Graphs

no code implementations21 Nov 2019 Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luis C. Lamb

In this paper we propose the use of continuous residual modules for graph kernels in Graph Neural Networks.

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning

no code implementations15 May 2019 Artur d'Avila Garcez, Marco Gori, Luis C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran

In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems.

BIG-bench Machine Learning Explainable Models

Machine Learning in Network Centrality Measures: Tutorial and Outlook

no code implementations28 Oct 2018 Felipe Grando, Lisando Z. Granville, Luis C. Lamb

In this tutorial, we explain how the use of neural network learning algorithms can render the application of the metrics in complex networks of arbitrary size.

BIG-bench Machine Learning

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation

no code implementations10 Nov 2017 Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kuehnberger, Luis C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation.

Philosophy

Cannot find the paper you are looking for? You can Submit a new open access paper.