Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Logótipo
Você está em: Início > Publicações > Tabling, Rational Terms, and Coinduction Finally Together! > Visualizar Publicações Relacionadas

Publicações com a mesma revista da publicação Tabling, Rational Terms, and Coinduction Finally Together!

Agrupar Por: Ordenação:

Outra Publicação em Revista Científica Internacional

Artigo em Revista Científica Internacional

Towards multi-threaded local tabling using a common table space
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
Threads and or-parallelism unified
Ines Dutra (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
The YAP Prolog system
Vitor Santos Costa (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP); Luis Damas (Autor) (Outra)
Parallel Logic Programming: A Sequel
Dovier, A (Autor) (Outra); Formisano, A (Autor) (Outra); Gupta, G (Autor) (Outra); Hermenegildo, MV (Autor) (Outra); Pontelli, E (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
On the implementation of the probabilistic logic programming language ProbLog
Angelika Kimmig (Autor) (Outra); Bart Demoen (Autor) (Outra); Luc De Raedt (Autor) (Outra); Vitor Santos Costa (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
On the Implementation of the Probabilistic Logic Programming Language ProbLog
Angelika Kimmig (Autor) (Outra); Bart Demoen (Autor) (Outra); Luc De Raedt (Autor) (Outra); Vitor Costa (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)
On combining linear-based strategies for tabled evaluation of logic programs
Miguel Areias (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
On applying or-parallelism and tabling to logic programs
Rocha, R (Autor) (FCUP); Silva, F (Autor) (FCUP); Costa, VS (Autor) (FCUP)
Lifted Variable Elimination for Probabilistic Logic Programming
Elena Bellodi (Autor) (Outra); Evelina Lamma (Autor) (Outra); Fabrizio Riguzzi (Autor) (Outra); Vitor Santos Costa (Autor) (FCUP); Riccardo Zese (Autor) (Outra)
Fifty Years of Prolog and Beyond
Korner, P (Autor) (Outra); Leuschel, M (Autor) (Outra); Barbosa, J (Autor) (FCUP); Costa, VS (Autor) (FCUP); Dahl, V (Autor) (Outra); Hermenegildo, MV (Autor) (Outra); Morales, JF (Autor) (Outra); Wielemaker, J (Autor) (Outra); Diaz, D (Autor) (Outra); Abreu, S (Autor) (Outra); Ciatto, G (Autor) (Outra)
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)
CLP(H): Constraint logic programming for hedges
Dundua, B (Autor) (Outra); Florido, M (Autor) (FCUP); Kutsia, T (Autor) (Outra)
BigYAP: Exo-compilation meets UDI
Vitor Santos Costa (Autor) (FCUP); David Vaz (Autor) (Outra)
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Seth Copen Goldstein (Autor) (Outra); Frank Pfenning (Autor) (Outra)
A design and implementation of the Extended Andorra Model
Ricardo Lopes (Autor) (Outra); Vitor Santos Costa (Autor) (FCUP); Fernando Silva (Autor) (FCUP)

Registos 1 a 20 de 20

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Psicologia e de Ciências da Educação da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-10-11 às 07:20:42 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias