Go to:
Logótipo
You are in:: Start > Publications > View > Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Map of Premises
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

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

Title
Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Type
Article in International Conference Proceedings Book
Year
2010
Authors
Flávio Cruz
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Ricardo Rocha
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Scientific classification
FOS: Natural sciences > Computer and information sciences
CORDIS: Physical sciences > Computer science > Programming
Other information
Language: English
Type (Professor's evaluation): Scientific
Contact: rlrocha@fc.up.pt
Notes: Editors: L. S. Barbosa and M. P. Correia.
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Single Time-Stamped Tries for Retroactive Call Subsumption (2011)
Other Publications
Flávio Cruz; Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (2011)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha
Declarative Coordination of Graph-based Parallel Programs (2016)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Goldstein, SC
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (2014)
Article in International Scientific Journal
Flavio Cruz; Ricardo Rocha; Seth Copen Goldstein; Frank Pfenning
Thread-aware logic programming for data-driven parallel programs (2015)
Article in International Conference Proceedings Book
Cruz, F; Rocha, R; Goldstein, SC

See all (9)

Of the same scientific areas

Programação e Computação. Apontamentos (2002)
Educational Publication
Ana Maria Faustino
Exercícios de Programação e Computadores (2002)
Educational Publication
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2007)
Educational Publication
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2011)
Educational Publication
Ana Maria Faustino; João Marques De Carvalho
Exercícios de Computação (2006)
Educational Publication
Ana Maria Faustino; João Marques De Carvalho

See all (12)

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-08-22 at 11:25:37 | Acceptable Use Policy | Data Protection Policy | Complaint Portal