thumbnail

The Journal of Logic Programming

  0743-1066

 

 

 

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

Lĩnh vực:

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
A general modal framework for the event calculus and its skeptical and credulous variants
Tập 38 - Trang 111-164 - 1999
Iliano Cervesato, Angelo Montanari
Computing protected circumscription
Tập 2 - Trang 235-249 - 1985
Jack Minker, Donald Perlis
Các tạp chí khác
Vietnam Journal of Mechanics
Academia Journal of Biology
Vietnam Journal of Science and Technology
Tạp chí Khoa học Đại học Đồng Tháp
Vietnam Journal of Earth Sciences
Khoa học Kỹ thuật Mỏ Địa chất
VNU Journal of Science: Mathematics - Physics
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Y Dược học Cần Thơ