thumbnail

The Journal of Logic Programming

  0743-1066

 

 

 

Cơ quản chủ quản:  N/A

Phân tích ảnh hưởng

Các bài báo tiêu biểu

The IFF proof procedure for abductive logic programming
Tập 33 Số 2 - Trang 151-165 - 1997
Tze Ho Fung, Robert Kowalski
Solving large combinatorial problems in logic programming
Tập 8 Số 1-2 - Trang 75-93 - 1990
Mehmet Dincbas, Nicolas Beldiceanu, Pascal Van Hentenryck
Towards a meaning of life
Tập 16 Số 3-4 - Trang 195-234 - 1993
Hassan Aı̈t-Kaci, Andreas Podelski
Representing actions: Laws, observations and hypotheses
Tập 31 Số 1-3 - Trang 201-243 - 1997
Chitta Baral, Michael Gelfond, Alessandro Provetti
An argumentation-theoretic foundation for logic programming
Tập 22 Số 2 - Trang 151-177 - 1995
Phan Minh Dung
Completed logic programs and their consistency
Tập 9 Số 1 - Trang 33-44 - 1990
Taisuke Sato
ACLP: Abductive Constraint Logic Programming
Tập 44 - Trang 129-177 - 2000
A.C. Kakas, A. Michael, C. Mourlas
Parallel bottom-up processing of datalog queries
Tập 14 - Trang 101-126 - 1992
Sumit Ganguly, Avi Silberschatz, Shalom Tsur
Problem specification and program synthesis in the system Spora
Tập 9 - Trang 141-157 - 1990
I.O. Babaev