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
The execution algorithm of mercury, an efficient purely declarative logic programming language
The Journal of Logic Programming - Tập 29 - Trang 17-64 - 1996
Zoltan Somogyi, Fergus Henderson, Thomas Conway
Algebraic and logical semantics for CLP languages with dynamic scheduling
The Journal of Logic Programming - Tập 32 - Trang 71-84 - 1997
Kim Marriott
A simple characterization of uniform boundedness for a class of recursions
The Journal of Logic Programming - Tập 10 - Trang 233-253 - 1991
Jeffrey F. Naughton, Yehoshua Sagiv
Logic programming environments: Dynamic program analysis and debugging
The Journal of Logic Programming - Tập 19 - Trang 351-384 - 1994
Mireille Ducassé, Jacques Noyé
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é
A deterministic prolog fixpoint semantics
The Journal of Logic Programming - Tập 2 - Trang 111-118 - 1985
Melvin Fitting
ACLP: Abductive Constraint Logic Programming
The Journal of Logic Programming - Tập 44 - Trang 129-177 - 2000
A.C. Kakas, A. Michael, C. Mourlas
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
Minimal consequence in sentential logic
The Journal of Logic Programming - Tập 9 - Trang 19-31 - 1990
Mary-Angela Papalaskari, Scott Weinstein
Tổng số: 220   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10