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
Equality, types, modules, and (why not?) generics for logic programming
Tập 1 - Trang 179-210 - 1984
Joseph A. Goguen, José Meseguer
Circumscribing embedded implications (without stratifications)
Tập 17 - Trang 323-364 - 1993
L.Thorne McCarty
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í Khoa học Đại học Đồng Tháp
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Nghiên cứu nước ngoài
VNU Journal of Science: Earth and Environmental Sciences
Khoa học Kỹ thuật Mỏ Địa chất
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí Phẫu thuật Tim mạch và Lồng ngực Việt Nam
VNU Journal of Science: Mathematics - Physics
Vietnam Journal of Marine Science and Technology
Tạp chí Y Dược học Cần Thơ