Você está em: Start > Publications > Towards multi-threaded local tabling using a common table space > View related publications

Instalation Map

Publication

Publication Search

Publications

Publications with the same journal as the Towards multi-threaded local tabling using a common table space publication

Group by: Order:

Another Publication in an International Scientific Journal

Introduction to the 33rd international conference on logic programming special issue

Ricardo Rocha (Author) (FCUP); Son, TC (Author) (Other)

2017

Indexing

Introduction to the 28th international conference on logic programming special issue

AGOSTINO DOVIER (Author) (Other); VÃTOR SANTOS COSTA (Author) (FCUP)

2012

Indexing

Article in International Scientific Journal

Threads and or-parallelism unified

Ines Dutra (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2010

Scientific classification Indexing

The YAP Prolog system

Vitor Santos Costa (Author) (FCUP); Ricardo Rocha (Author) (FCUP); Luis Damas (Author) (Other)

2012

Scientific classification Indexing

Tabling, Rational Terms, and Coinduction Finally Together!

Theofrastos Mantadelis (Author) (Other); Ricardo Rocha (Author) (FCUP); Paulo Moura (Author) (Other)

2014

Scientific classification Indexing

Table space designs for implicit and explicit concurrent tabled evaluation

Miguel Areias (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2018

Indexing

Parallel Logic Programming: A Sequel

Dovier, A (Author) (Other); Formisano, A (Author) (Other); Gupta, G (Author) (Other); Hermenegildo, MV (Author) (Other); Pontelli, E (Author) (Other); Ricardo Rocha (Author) (FCUP)

2022

Indexing

On the implementation of the probabilistic logic programming language ProbLog

Angelika Kimmig (Author) (Other); Bart Demoen (Author) (Other); Luc De Raedt (Author) (Other); Vitor Santos Costa (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing

On the Implementation of the Probabilistic Logic Programming Language ProbLog

Angelika Kimmig (Author) (Other); Bart Demoen (Author) (Other); Luc De Raedt (Author) (Other); Vitor Costa (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2010

Scientific classification Documents

File name	Description	Size
Fulltext	Artigo	566.38 KB

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores

Joao Santos (Author) (Other); Ricardo Rocha (Author) (FCUP)

2016

Indexing

On combining linear-based strategies for tabled evaluation of logic programs

Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing

On applying or-parallelism and tabling to logic programs

Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)

2005

Scientific classification Indexing

Lifted Variable Elimination for Probabilistic Logic Programming

Elena Bellodi (Author) (Other); Evelina Lamma (Author) (Other); Fabrizio Riguzzi (Author) (Other); Vitor Santos Costa (Author) (FCUP); Riccardo Zese (Author) (Other)

2014

Scientific classification Indexing

Fifty Years of Prolog and Beyond

Korner, P (Author) (Other); Leuschel, M (Author) (Other); Barbosa, J (Author) (FCUP); Costa, VS (Author) (FCUP); Dahl, V (Author) (Other); Hermenegildo, MV (Author) (Other); Morales, JF (Author) (Other); Wielemaker, J (Author) (Other); Diaz, D (Author) (Other); Abreu, S (Author) (Other); Ciatto, G (Author) (Other)

2022

Indexing

Fifty Years of Prolog and Beyond

Körner, P (Author) (Other); Leuschel, M (Author) (Other); Barbosa, J (Author) (Other); Costa, VS (Author) (FCUP); Dahl, V (Author) (Other); Hermenegildo, MV (Author) (Other); Morales, JF (Author) (Other); Wielemaker, J (Author) (Other); Diaz, D (Author) (Other); Abreu, S (Author) (Other)

2022

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing