thumbnail

The Journal of Logic Programming

SCOPUS (1984-2000)

  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
Abducing through negation as failure: stable models within the independent choice logic
Tập 44 - Trang 5-35 - 2000
David Poole
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
A logical analysis of modules in logic programming
Tập 6 - Trang 79-108 - 1989
Dale Miller
A generalization of the differential approach to recursive query evaluation
Tập 4 - Trang 259-262 - 1987
I. Balbin, K. Ramamohanarao
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1984-2000

Xem chi tiết

Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Y Dược học Cần Thơ
Tạp chí Khoa học và Công nghệ nhiệt đới
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Tai Mũi Họng Việt Nam
Tạp chí Y - Dược học quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Da liễu học Việt Nam
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh