99 citations · 174 across the 15 of their papers we have counts for
15 papers
Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization
Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa +1
A model generalizes outside its training distribution only when it computes a representation structurally equivalent to the generating mechanism, not an approximation fitted to it.…
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa
The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Mode…
Typed SLD-Resolution: Dynamic Typing for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that comp…
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…
Data Type Inference for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automaticall…
NeuralLog: a Neural Logic Language
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. In this paper we propose NeuralLog, a f…