Công bố khoa học
Công cụ trích dẫn
Công bố khoa học
Trích dẫn
Tạp chí khoa học
Cơ quan đơn vị
Quản lý tài khoản
Danh mục đã lưu
Đăng xuất
The Journal of Logic Programming
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Inductive Logic Programming: Theory and methods
The Journal of Logic Programming
-
Tập 19
- Trang 629-679
- 1994
Stephen Muggleton
,
Luc de Raedt
Đi đến bài báo
Trích dẫn
Lưu lại
Logic programming environments: Dynamic program analysis and debugging
The Journal of Logic Programming
-
Tập 19
- Trang 351-384
- 1994
Mireille Ducassé
,
Jacques Noyé
Đi đến bài báo
Trích dẫn
Lưu lại
Tracing Prolog programs by source instrumentation is efficient enough
The Journal of Logic Programming
-
Tập 43
- Trang 157-172
- 2000
Mireille Ducassé
,
Jacques Noyé
Đi đến bài báo
Trích dẫn
Lưu lại
A deterministic prolog fixpoint semantics
The Journal of Logic Programming
-
Tập 2
- Trang 111-118
- 1985
Melvin Fitting
Đi đến bài báo
Trích dẫn
Lưu lại
Integrity constraint checking in stratified databases
The Journal of Logic Programming
-
Tập 4
- Trang 331-343
- 1987
J.W. Lloyd
,
E.A. Sonenberg
,
R.W. Topor
Đi đến bài báo
Trích dẫn
Lưu lại
Minimal consequence in sentential logic
The Journal of Logic Programming
-
Tập 9
- Trang 19-31
- 1990
Mary-Angela Papalaskari
,
Scott Weinstein
Đi đến bài báo
Trích dẫn
Lưu lại
Towards a unified theory of intensional logic programming
The Journal of Logic Programming
-
Tập 13
- Trang 413-440
- 1992
Mehmet A Orgun
,
William W Wadge
Đi đến bài báo
Trích dẫn
Lưu lại
The Vienna abstract machine
The Journal of Logic Programming
-
Tập 29
- Trang 85-106
- 1996
Andreas Krall
Đi đến bài báo
Trích dẫn
Lưu lại
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming
-
Tập 35
- Trang 171-194
- 1998
Alexander Bochman
Đi đến bài báo
Trích dẫn
Lưu lại
Extremal problems in logic programming and stable model computation
The Journal of Logic Programming
-
Tập 38
- Trang 219-242
- 1999
Pawel Cholewinski
,
Miroslaw Truszczynski
Đi đến bài báo
Trích dẫn
Lưu lại
Tổng số: 220
1
2
3
4
5
6
10