tabled logic programs
Recently Published Documents

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs

2015 ◽  
Vol 44 (3) ◽  
pp. 386-406 ◽  
Author(s):  
Miguel Areias ◽  
Ricardo Rocha
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

A Term-Based Global Trie for Tabled Logic Programs

2009 ◽  
pp. 205-219 ◽  
Author(s):  
Jorge Costa ◽  
João Raimundo ◽  
Ricardo Rocha
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

2006 ◽  
pp. 56-71 ◽  
Author(s):  
Diptikalyan Saha ◽  
C. R. Ramakrishnan
Keyword(s):  
Local Algorithm ◽  
Logic Programs ◽  
Incremental Evaluation ◽  
Tabled Logic Programs

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs

2005 ◽  
pp. 250-264 ◽  
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Mixed Strategy ◽  
Logic Programs ◽  
Strategy Evaluation ◽  
Tabled Logic Programs

scholarly journals Concurrent Table Accesses in Parallel Tabled Logic Programs

2004 ◽  
pp. 662-670
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

Speculative Computations in Or-Parallel Tabled Logic Programs

2004 ◽  
pp. 254-268
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document