Saltar para:
Logótipo
Você está em: Início > Publicações > Parallel Logic Programming: A Sequel > Visualizar Publicações Relacionadas
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Publicações com a mesma revista da publicação Parallel Logic Programming: A Sequel

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)
Tabling, Rational Terms, and Coinduction Finally Together!
Theofrastos Mantadelis (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Paulo Moura (Autor) (Outra)
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 Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-08-22 às 19:22:48 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias