no code implementations • 19 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.
no code implementations • 18 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.
no code implementations • 13 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.
no code implementations • 10 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.
2 code implementations • 13 Sep 2020 • Marcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro Avelar, João M. Flach, Luis C. Lamb, Moshe Y. Vardi
Computational learning theory states that many classes of boolean formulas are learnable in polynomial time.
no code implementations • 29 Feb 2020 • Luis C. Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, Moshe Vardi
Neural-symbolic computing has now become the subject of interest of both academic and industry research laboratories.
no code implementations • 21 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.
no code implementations • 15 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.
no code implementations • 28 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.
no code implementations • 10 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.