Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

no code implementations • 10 May 2024 • Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa

This is the Background Knowledge used by ILP to create Logic Programs that provide reasoning capabilities to our system.

NeuralLog: a Neural Logic Language

1 code implementation • 4 May 2021 • Victor Guimarães, Vítor Santos Costa

Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important.

Link Prediction

A Three-Valued Semantics for Typed Logic Programming

1 code implementation • 18 Sep 2019 • João Barbosa, Mário Florido, Vítor Santos Costa

Finally, we define a type system for logic programming and prove that it is semantically sound with respect to a semantic relation between programs and types where, if a program has a type, then its semantics is not wrong.

Logic in Computer Science Programming Languages