PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Costa, Vítor Santos"

Author of the publication

copydeleteadd this publication to your clipboard
Revising First-Order Logic Theories from Examples Through Stochastic Local Search.

, , and . ILP, volume 4894 of Lecture Notes in Computer Science, page 200-210. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christine dos Santos Costa University of Stuttgart

Vanessa Costalonga Martins University of Stuttgart

Francisco Costa Garcia University of Stuttgart

Maria Costa Jornet University of Stuttgart

Aldilene Santos Franca University of Stuttgart

 

Other publications of authors with the same name

Optimal implementation of and-or parallel Prolog., and . Future Generation Comp. Syst., 10 (1): 71-92 (1994)BigYAP: Exo-compilation meets UDI., and . TPLP, 13 (4-5): 799-813 (2013)Andorra-I Compilation., , and . New Generation Comput., 14 (1): 3-30 (1996)Exploiting parallelism in the extended andorra model., , and . Parallel and Distributed Computing and Networks, page 483-489. IASTED/ACTA Press, (2004)Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming., , and . ICLP, page 824. MIT Press, (1995)Machine Learning to Predict Developmental Neurotoxicity with High-throughput Data from 2D Bio-engineered Tissues., , , , , and . CoRR, (2019)Portability of Prolog programs: theory and case-studies, and . CoRR, (2010)A Datalog Engine for GPUs., , , and . KDPD, volume 8439 of Lecture Notes in Computer Science, page 152-168. Springer, (2013)Novel Models for Or-Parallel Logic Programs: A Performance Analysis., , and . Euro-Par, volume 1900 of Lecture Notes in Computer Science, page 744-753. Springer, (2000)Concurrent Table Accesses in Parallel Tabled Logic Programs., , and . Euro-Par, volume 3149 of Lecture Notes in Computer Science, page 662-670. Springer, (2004)