Free Access
RAIRO-Theor. Inf. Appl.
Volume 22, Number 1, 1988
Page(s) 3 - 42
Published online 01 February 2017
  1. [Apt 82] K. APTet M. VAN EMDEN, Contribution to the Theory of Logic Programming, Journal of the Association for Computing Machinery, 29. 3, 1982, p. 841-842. [MR: 666781] [Zbl: 0483.68004]
  2. [Bla 82 a] H. A. BLAIR, The Undecidability of Two Completeness Notions for the "Negation as Failure Rule" in Logic Programming, Proceeding of the first Logic programming Conference, Van Caneghem éd., Marseille, 1982, p. 163-168.
  3. [Bla 82 b] H. A. BLAIR, The Recursion Theoretic Complexity of the Semantics of Predicate Logic as a Programming Language, Information and Control, vol. 54, 1982, p. 25-47). [MR: 713306] [Zbl: 0527.03022]
  4. [Cla 78] K. L. CLARK, Negation as Failure. Logic and Data Bases, H. GALLAiRE et J. MINKER éd., Plenum Press, New York, 1978, p. 293-324. [MR: 539848]
  5. [Cla 79] K. L. CLARK, Predicate Logic as a Computational Formalism, Res. Rep., Dep of Computing, Imperial College, London, 1979.
  6. [Col 82] A. COLMERAUER, Prolog II, Manuel de Référence et Modèle Théorique, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille, 1982.
  7. [Del 86 a] J. P. DELAHAYE, Outils logiques pour l'intelligence artificielle, Eyrolles, Paris, 1986.
  8. [Del 86 b] J. P. DELAHAYEet P. PARADINAS, Définitions de stratégies équitables en programmation logique, Actes du Séminaire de Programmation en Logique de Tregastel, 1986, p. 7-24.
  9. [Del 86 c] J. P. DELAHAYE, Sémantique logique et dénotationnelle des interpréteurs Prolog, Note IT 1986, Université des Sciences et Techniques de Lille.
  10. [Del 87] J. P. DELAHAYE, Effet de l'utilisation du coupe choix sur la sémantique déclarative de Prolog, Note IT 1987, Université des Sciences et Techniques de Lille.
  11. [Der 83] P. DERANSART, An Operational Algebraic Semantics of Prolog Programs, Actes du Séminaire de « Programmation en Logique », Mehmet Dincbas éd., C.N.E.T., Lannion, 1983.
  12. [Fit 85 a] M. FITTING, A Deterministic Prolog Fixpoint SemanticsJ. of Logic Programming, vol. 2, 1985, p. 111-118. [MR: 798931] [Zbl: 0592.68021]
  13. [Fit 85 b] M. FITTING, A Kripke-Kleene Semantics for Logic Programs, J. of Logic Programming, vol. 4, 1985, p. 295-312. [MR: 818647] [Zbl: 0589.68011]
  14. [Fla 86] T. FLANNAGAM, The Consistency of Negation as Failure, J. Logic Programming, vol. 2, 1986, p. 93-114. [MR: 902721] [Zbl: 0598.68064]
  15. [Hil 74] R. HILL, Lush-Resolution and its Completeness, Dep. of Artificial Intelligence, Univ. of Edinburgh, 1974.
  16. [JLL 83] J. JAFFAR, J. L. LASSEZet L. LLOYD, Completeness of the Negation as Failure Rule, IJCAI-83 Karlsruhe, 1983, p. 500-506.
  17. [Jon 84] N. D. JONESet A. MYCROFT, Stepwise Development of Operational Semantics for PROLOG, I.E.E.E., 1984, p. 182-288.
  18. [Las 84] J. L. LASSEZet M. J. MAHER, Closures and Fairness in Semantics of Programming Logic, T. C. S., 29, 1984, p. 167-184). [MR: 742407] [Zbl: 0547.68034]
  19. [Llo 84] J. LLOYD, Foundation of Logic Programming, Springer-Verlag, New York, 1984. [MR: 766562]
  20. [Rei 78] R. REITER, On Closed world Data Bases. Logic and Data Bases, H. GALLAIRE et J. MINKER, éd., Plenum Press, New York, 1978, p. 55-76. [MR: 539848]
  21. [Rob 65] J. A. ROBINSON, A Machine Oriented Logic Based on the Resolution Principle, J. of A.C.M., vol. 12, 1965. [MR: 170494] [Zbl: 0139.12303]
  22. [She 84] J. C. SHEPHERDSON, Negation as Failure I and II, J. Logic Programming, vol. 1, 1984, p. 51-79, vol. 3, 1985, p. 185-202. [MR: 754304] [Zbl: 0603.68094]
  23. [VEK 76] M. H. VAN EMDEM et R. V. KOWALSKI, The Semantics of Predicate Logic as a Programming Language, J. A. C. M., vol. 23-4, 1976, p. 733-742. [MR: 455509] [Zbl: 0339.68004]
  24. [VEA 85] M. H. VAN EMDEM et M. A. NAIT ABDALLAH, Top-Down Semantics of Fair Computations of Logic Programs, J. of Logic Programming, vol. 1, 1985, p. 67-75. [MR: 793106] [Zbl: 0592.68019]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.