Go to:
Logótipo
You are in:: Start > Publications > A structured alternative to Prolog with simple compositional semantics > View related publications
Instalation Map
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
Publication

Publications with the same journal as the A structured alternative to Prolog with simple compositional semantics 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
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)
A design and implementation of the Extended Andorra Model
Ricardo Lopes (Author) (Other); Vitor Santos Costa (Author) (FCUP); Fernando Silva (Author) (FCUP)

Records 1 to 20 from 20

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

Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-11-02 at 03:47:49 | Acceptable Use Policy | Data Protection Policy | Complaint Portal