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
Magic templates: a spellbinding approach to logic programs
Tập 11 - Trang 189-216 - 1991
Raghu Ramakrishnan
Expressive capabilities description languages and query rewriting algorithms
Tập 43 - Trang 75-122 - 2000
Vasilis Vassalos, Yannis Papakonstantinou
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 Xã hội và Nhân văn
Nuclear Science and Technology
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Tạp chí Nông nghiệp và Phát triển
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 và Công nghệ - Đại học Đà Nẵng
Tạp chí Khoa học Trường Đại học Quốc tế Hồng Bàng
Tạp chí Phẫu thuật Tim mạch và Lồng ngực Việt Nam
Vietnam Journal of Science and Technology