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
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
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
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
The Vienna abstract machine
The Journal of Logic Programming - Tập 29 - Trang 85-106 - 1996
Andreas Krall
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
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
Tổng số: 220   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10