ProfileOfResearchers

TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples Full Text
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 7

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: On the Implementation of the CLP(BN) Language
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 1

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Portability of Prolog programs: Theory and case-studies PDF
AUTHORS: Wielemaker, J; Santos Costa, VS ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3796

INDEXED IN:

Scopus

DBLP

arXiv

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms Full Text
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74

INDEXED IN:

WOS

DBLP

CrossRef

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Probabilistic inductive querying using problog
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining

INDEXED IN:

Scopus

DBLP

CrossRef: 3

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Sequential Pattern Mining in Multi-relational Datasets Full Text
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 3

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: TALM: A hybrid execution model with distributed speculation support
AUTHORS: Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS ;
PUBLISHED: 2010, SOURCE: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA 2010 in Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA

INDEXED IN:

Scopus

DBLP

CrossRef: 11

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Threads and or-parallelism unified
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 6

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases
AUTHORS: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ; Simoes, C; Brito, RMM ;
PUBLISHED: 2009, SOURCE: 4th Brazilian Symposium on Bioinformatics (BSB 2009) in ADVANCES IN BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, PROCEEDINGS, VOLUME: 5676

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 4

Handle

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

100