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
Abducing through negation as failure: stable models within the independent choice logic
Tập 44 - Trang 5-35 - 2000
David Poole
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
Chỉ số ảnh hưởng
Số bài báo
226
Số trích dẫn
0
Avg. Citation
0
Impact Factor (IF)
0
H-index
0
H-index (5 năm)
0
i10
0
i10-index (5 năm)
0
Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
VNU Journal of Science: Mathematics - Physics
Tạp chí Khoa học Đại học Đồng Tháp
Vietnam Journal of Science and Technology
Communications in Physics
Vietnam Journal of Marine Science and Technology
VNU Journal of Science: Medical and Pharmaceutical Sciences
Tạp chí Khoa học Trường Đại học Sư phạm Thành phố Hồ Chí Minh
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
VNU Journal of Science: Earth and Environmental Sciences