Zobrazeno 1 - 10
of 555
pro vyhledávání: '"Costa, Vitor A"'
The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Models (LLMs). It demands strong generalization and reasoning capabilities
Externí odkaz:
http://arxiv.org/abs/2405.06399
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a homogeneous coll
Externí odkaz:
http://arxiv.org/abs/2404.16406
Local Labor Market Effects of Mergers and Acquisitions in Developing Countries: Evidence from Brazil
Autor:
Costa, Vitor
I use matched employer-employee records merged with corporate tax information from 2003 to 2017 to estimate labor market-wide effects of mergers and acquisitions in Brazil. Labor markets are defined by pairs of commuting zone and industry sector. In
Externí odkaz:
http://arxiv.org/abs/2306.08797
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 programming, and the declarative semantics, whic
Externí odkaz:
http://arxiv.org/abs/2208.00192
Autor:
Rebeca Costa Vitor, Jamille Bispo de Carvalho Teixeira, Katharine Costa dos Santos, Gabriela Mota Sena de Oliveira, Paula Elisa Brandão Guedes, Anaiá da Paixão Sevá, Deusdete Conceição Gomes Junior, Jéssica Fontes Veloso, Renata Santiago Alberto Carlos
Publikováno v:
Acta Veterinaria Scandinavica, Vol 66, Iss 1, Pp 1-7 (2024)
Abstract Background Shih-Tzu dogs are frequently affected by ocular surface disorders such as corneal ulceration and dry eye disease (DED). The aim of this study was to evaluate ocular surface homeostasis in Shih-Tzu dogs that have adequate aqueous p
Externí odkaz:
https://doaj.org/article/e1fd6032a17e4bae96d9df09568a322f
Autor:
Körner, Philipp, Leuschel, Michael, Barbosa, João, Costa, Vítor Santos, Dahl, Verónica, Hermenegildo, Manuel V., Morales, Jose F., Wielemaker, Jan, Diaz, Daniel, Abreu, Salvador, Ciatto, Giovanni
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 large body of research has been gathered over the last 50 years, supporte
Externí odkaz:
http://arxiv.org/abs/2201.10816
Autor:
Katharine Costa dos Santos, Eric Tielemans, Andre Antonio Cutolo, Paula Elisa Brandão Guedes, Tatiani Vitor Harvey, Jamille Bispo de Carvalho Teixeira, Rebeca Costa Vitor, Anaiá da Paixão Sevá, Adan William de Melo Navarro, Ana Carolina Ribeiro Lima, Karin Denise Botteon, Thammy Vieira Bittar, George Rêgo Albuquerque, Fernando de Almeida Borges, Frederic Beugnet, Renata Santiago Alberto Carlos
Publikováno v:
Parasites & Vectors, Vol 16, Iss 1, Pp 1-12 (2023)
Abstract Background The sand flea Tunga penetrans is one of the agents of tungiasis, an important parasitic skin disease affecting humans and several mammalian species. Tungiasis is mainly observed in disadvantaged rural and peripheral urban communit
Externí odkaz:
https://doaj.org/article/fffab3bc6efd43c1ab66d0d13df52ce4
Autor:
Borszcz, Fernando Klitzke, Ferreira Tramontin, Artur, de Lucas, Ricardo Dantas, Pereira Costa, Vitor
Publikováno v:
International Journal of Sports Physiology & Performance; Jun2024, Vol. 19 Issue 6, p565-575, 11p
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 automatically assign types to predicates which, in most cases, correspond to the d
Externí odkaz:
http://arxiv.org/abs/2108.06562
Autor:
Guimarães, Victor, Costa, Vítor Santos
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 first-order logic language that is compiled to a neural network. The ma
Externí odkaz:
http://arxiv.org/abs/2105.01442