Erratum to: “Conjunctive partial deduction: foundations, control, algorithms and experiments” [The Journal of Logic Programming 41 (1999) 231] von De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.H.

Volltext

Introduction: 10th birthday special issue of the journal of logic programming von Robinson, J.A.

Volltext

Optimality in goal-dependent analysis of Sharing von AMATO, GIANLUCA, SCOZZARI, FRANCESCA

Volltext

Annotation of logic programs for independent AND-Parallelism by partial evaluation von Vidal Oriola, Germán Francisco

Volltext bestellen

Dynamic updates of non-monotonic knowledge bases von Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.

Volltext

Constraint logic programming: a survey von Jaffar, Joxan, Maher, Michael J.

Volltext

Recursive query plans for data integration von Duschka, Oliver M., Genesereth, Michael R., Levy, Alon Y.

Volltext

The IFF proof procedure for abductive logic programming von Fung, Tze Ho, Kowalski, Robert

Volltext

An abductive event calculus planner von Shanahan, Murray

Volltext

Programming and symbolic computation in Maude von Durán, Francisco, Eker, Steven, Escobar Román, Santiago, NARCISO MARTÍ OLIET, José Meseguer, Rubén Rubio, Talcott, Carolyn

Volltext bestellen

Principles and implementation of deductive parsing von Shieber, Stuart M., Schabes, Yves, Pereira, Fernando C.N.

Volltext

Abstract interpretation and application to logic programs von Cousot, Patrick, Cousot, Radhia

Volltext

The execution algorithm of mercury, an efficient purely declarative logic programming language von Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas

Volltext

Applying interval arithmetic to real, integer, and boolean constraints von Benhamou, Frédéric, Older, William J.

Volltext

Abducing through negation as failure: stable models within the independent choice logic von Poole, David

Volltext

Design, implementation, and evaluation of the constraint language cc(FD) von Van Hentenryck, Pascal, Saraswat, Vijay, Deville, Yves

Volltext

HiLog: A foundation for higher-order logic programming von Chen, Weidong, Kifer, Michael, Warren, David S.

Volltext

A semantic basis for the termination analysis of logic programs von Codish, Michael, Taboch, Cohavit

Volltext

Conjunctive partial deduction: foundations, control, algorithms, and experiments von De Schreye, Danny, Glück, Robert, Jørgensen, Jesper, Leuschel, Michael, Martens, Bern, Sørensen, Morten Heine

Volltext

Partial evaluation in logic programming von Lloyd, J.W., Shepherdson, J.C.

Volltext