J. Log. Program.

Keyphrases

Publications

volume 46, number 1-2, 2000

volume 45, number 1-3, 2000

volume 44, number 1-3, 2000

Noboru Iwayama, Ken Satoh
Computing abduction by using TMS with top-down expectation. J. Log. Program. 44 (1-3) (2000)
Jia-Huai You, Li-Yan Yuan, Randy Goebel
An abductive approach to disjunctive logic programming. J. Log. Program. 44 (1-3) (2000)
Chiaki Sakama, Katsumi Inoue
Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. 44 (1-3) (2000)
Marc Denecker, Antonis C. Kakas
Special issue: abductive logic programming. J. Log. Program. 44 (1-3) (2000)
Murray Shanahan
An abductive event calculus planner. J. Log. Program. 44 (1-3) (2000)
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
Conditional reasoning in logic programming. J. Log. Program. 44 (1-3) (2000)
David Poole
Abducing through negation as failure: stable models within the independent choice logic. J. Log. Program. 44 (1-3) (2000)
Antonis C. Kakas, A. Michael, Costas Mourlas
ACLP: Abductive Constraint Logic Programming. J. Log. Program. 44 (1-3) (2000)

volume 43, number 1, 2000

volume 43, number 2, 2000

Fernando M. A. Silva, Paul Watson
Or-Parallel Prolog on a Distributed Memory Architecture. J. Log. Program. 43 (2) (2000)
Mireille Ducassé, Jacques Noyé
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. J. Log. Program. 43 (2) (2000)
Helmut Seidl, Christian Fecht
Interprocedural Analyses: A Comparison. J. Log. Program. 43 (2) (2000)

volume 43, number 3, 2000

volume 42, number 1, 2000

volume 42, number 2, 2000

Bharat Jayaraman, Kyonghee Moon
Subset Logic Programs and Their Implementation. J. Log. Program. 42 (2) (2000)
Michael Codish, Vitaly Lagoon, Francisco Bueno
An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42 (2) (2000)
Sibylla Priess-Crampe, Paulo Ribenboim
Ultrametric Spaces and Logic Programming. J. Log. Program. 42 (2) (2000)

volume 42, number 3, 2000

Moreno Falaschi, Patrick Hicks, William H. Winsborough
Demand Transformation Analysis for Concurrent Constraint Programs. J. Log. Program. 42 (3) (2000)
Sofie Verbaeten, Marc Denecker, Danny De Schreye
Compositionality of Normal Open Logic Programs. J. Log. Program. 42 (3) (2000)
Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi
) Programs. J. Log. Program. 42 (3) (2000)

volume 41, number 1, 1999

volume 41, number 2-3, 1999

volume 40, number 2-3, 1999

Stephen Muggleton, David Page
Guest Editors' Introduction: Inductive Logic Programming. J. Log. Program. 40 (2-3) (1999)
Anke D. Rieger
Optimizing General Chain Programs. J. Log. Program. 40 (2-3) (1999)
Nada Lavrac, Dragan Gamberger, Viktor Jovanoski
A Study of Relevance for Learning in Deductive Databases. J. Log. Program. 40 (2-3) (1999)