Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11562931_20 ◽

2005 ◽

pp. 250-264 ◽

Cited By ~ 6

Author(s):

Ricardo Rocha ◽

Fernando Silva ◽

Vítor Santos Costa

Keyword(s):

Mixed Strategy ◽

Logic Programs ◽

Strategy Evaluation ◽

Tabled Logic Programs

Download Full-text

Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_89 ◽

1996 ◽

pp. 243-258 ◽

Cited By ~ 13

Author(s):

Juliana Freire ◽

Terrance Swift ◽

David S. Warren

Keyword(s):

Logic Programs ◽

Alternative Scheduling ◽

Scheduling Strategies ◽

Tabled Logic Programs

Download Full-text

Concurrent Table Accesses in Parallel Tabled Logic Programs

Lecture Notes in Computer Science - Euro-Par 2004 Parallel Processing ◽

10.1007/978-3-540-27866-5_87 ◽

2004 ◽

pp. 662-670

Author(s):

Ricardo Rocha ◽

Fernando Silva ◽

Vítor Santos Costa

Keyword(s):

Logic Programs ◽

Tabled Logic Programs

Download Full-text

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04686-5_10 ◽

2009 ◽

pp. 113-125

Author(s):

Miguel Areias ◽

Ricardo Rocha

Keyword(s):

Logic Programs ◽

Tabled Logic Programs

Download Full-text

Incremental Evaluation of Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24599-5_27 ◽

2003 ◽

pp. 392-406 ◽

Cited By ~ 14

Author(s):

Diptikalyan Saha ◽

C. R. Ramakrishnan

Keyword(s):

Logic Programs ◽

Incremental Evaluation ◽

Tabled Logic Programs

Download Full-text

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11799573_7 ◽

2006 ◽

pp. 56-71 ◽

Cited By ~ 11

Author(s):

Diptikalyan Saha ◽

C. R. Ramakrishnan

Keyword(s):

Local Algorithm ◽

Logic Programs ◽

Incremental Evaluation ◽

Tabled Logic Programs

Download Full-text

Achieving scalability in parallel tabled logic programs

Proceedings 16th International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2002.1015488 ◽

2002 ◽

Author(s):

R. Rocha ◽

F. Silva ◽

V.S. Costa

Keyword(s):

Logic Programs ◽

Tabled Logic Programs

Download Full-text

Handling Incomplete and Complete Tables in Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11799573_34 ◽

2006 ◽

pp. 427-428 ◽

Cited By ~ 2

Author(s):

Ricardo Rocha

Keyword(s):

Logic Programs ◽

Tabled Logic Programs

Download Full-text

Termination Analysis of Tabled Logic Programs Using Mode and Type Information

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_11 ◽

1999 ◽

pp. 163-178

Author(s):

Sofie Verbaeten ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

Termination Analysis ◽

Tabled Logic Programs ◽

Type Information

Download Full-text

Speculative Computations in Or-Parallel Tabled Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_18 ◽

2004 ◽

pp. 254-268

Author(s):

Ricardo Rocha ◽

Fernando Silva ◽

Vítor Santos Costa

Keyword(s):

Logic Programs ◽

Tabled Logic Programs

Download Full-text

State-space search with tabled logic programs

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191324 ◽

2018 ◽

pp. 427-472

Author(s):

C. R. Ramakrishnan

Keyword(s):

State Space ◽

Logic Programs ◽

State Space Search ◽

Tabled Logic Programs

Download Full-text