Go to:
Logótipo
Você está em: Start > Publications > Introduction to the 33rd international conference on logic programming special issue > View related publications
Instalation Map
Principal
Publication

Publications with the same journal as the Introduction to the 33rd international conference on logic programming special issue publication

Group by: Order:

Another Publication in an International Scientific Journal

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

Towards multi-threaded local tabling using a common table space
Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)
Threads and or-parallelism unified
Ines Dutra (Author) (FCUP); Ricardo Rocha (Author) (FCUP)
The YAP Prolog system
Vitor Santos Costa (Author) (FCUP); Ricardo Rocha (Author) (FCUP); Luis Damas (Author) (Other)
Tabling, Rational Terms, and Coinduction Finally Together!
Theofrastos Mantadelis (Author) (Other); Ricardo Rocha (Author) (FCUP); Paulo Moura (Author) (Other)
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)
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)
On combining linear-based strategies for tabled evaluation of logic programs
Miguel Areias (Author) (Other); Ricardo Rocha (Author) (FCUP)
On applying or-parallelism and tabling to logic programs
Rocha, R (Author) (FCUP); Silva, F (Author) (FCUP); Costa, VS (Author) (FCUP)
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)
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)
CLP(H): Constraint logic programming for hedges
Dundua, B (Author) (Other); Florido, M (Author) (FCUP); Kutsia, T (Author) (Other)
2016
Indexing
BigYAP: Exo-compilation meets UDI
Vitor Santos Costa (Author) (FCUP); David Vaz (Author) (Other)
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Seth Copen Goldstein (Author) (Other); Frank Pfenning (Author) (Other)

Records 1 to 20 from 21

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-23 at 08:59:31 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book