The Journal of Logic Programming
Latest Publications

TOTAL DOCUMENTS

658
(FIVE YEARS 0)

H-INDEX

63
(FIVE YEARS 0)

Published By Elsevier

0743-1066
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Pair-sharing over rational trees

2000 ◽  
Vol 46 (1-2) ◽  
pp. 139-155 ◽  
Author(s):  
Andy King

scholarly journals More on tractable disjunctive Datalog

2000 ◽  
Vol 46 (1-2) ◽  
pp. 61-101 ◽  
Author(s):  
Rachel Ben-Eliyahu-Zohary ◽  
Luigi Palopoli ◽  
Victoria Zemlyanker

scholarly journals Meta-agent programs

2000 ◽  
Vol 46 (1-2) ◽  
pp. 1-60 ◽  
Author(s):  
Jürgen Dix ◽  
V.S. Subrahmanian ◽  
George Pick

scholarly journals Dynamic updates of non-monotonic knowledge bases

2000 ◽  
Vol 45 (1-3) ◽  
pp. 43-70 ◽  
Author(s):  
J.J. Alferes ◽  
J.A. Leite ◽  
L.M. Pereira ◽  
H. Przymusinska ◽  
T.C. Przymusinski
Keyword(s):  
Knowledge Bases ◽  
Dynamic Updates

scholarly journals A simple polynomial groundness analysis for logic programs

2000 ◽  
Vol 45 (1-3) ◽  
pp. 143-156 ◽  
Author(s):  
Andy Heaton ◽  
Muhamed Abo-Zaed ◽  
Michael Codish ◽  
Andy King
Keyword(s):  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document