Négation constructive et axiomatique interne
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 5, pp. 411-428.
@article{ITA_1997__31_5_411_0,
     author = {Blanc, G. and Liogier, K.},
     title = {N\'egation constructive et axiomatique interne},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {411--428},
     publisher = {EDP-Sciences},
     volume = {31},
     number = {5},
     year = {1997},
     zbl = {0893.68025},
     mrnumber = {1611643},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1997__31_5_411_0/}
}
TY  - JOUR
AU  - Blanc, G.
AU  - Liogier, K.
TI  - Négation constructive et axiomatique interne
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1997
DA  - 1997///
SP  - 411
EP  - 428
VL  - 31
IS  - 5
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1997__31_5_411_0/
UR  - https://zbmath.org/?q=an%3A0893.68025
UR  - https://www.ams.org/mathscinet-getitem?mr=1611643
LA  - fr
ID  - ITA_1997__31_5_411_0
ER  - 
Blanc, G.; Liogier, K. Négation constructive et axiomatique interne. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 5, pp. 411-428. http://www.numdam.org/item/ITA_1997__31_5_411_0/

1. K. R. Apt, Introduction to Logic Programming, Handbook of Theoretical Computer Science (J. Van Leeuwen), North Holland, 1990. | MR 1127195 | Zbl 0900.68136

2. N. Bleuzen-Guernalec et B. Gil, Internal Negation in Logic Programming, Rapport Technique, U.A.225, Université d'Aix-Marseille-II, 1989.

3. A. Brieu, Négation en Programmation par Contraintes, Thèse de Doctorat (en préparation), Institut de Mathématiques de Luminy, Université de la Méditerranée.

4. P. Bruscoli, F. Levi, G. Levi et M. C. Meo, Compilative Constructive Negation in Constraint Logic Programs, CAAP'94, 19th International Colloquium, Edinburg, April 11-14, in Proceedings Stison, Springer-Verlag, 1994, p. 52-57. | MR 1286751 | Zbl 0938.68571

5. D. Chan, Constructive Negation Based on the Completed Database, Technical Report, ECRC, 1988.

6. D. Chan, Constructive Negation based on the Completed Database, in Proceedings of the fifth International Conference on Logic Programming, R. A. Kowalski and K. A. Bowen eds., MIT Press, Cambridge, 1988, p. 111-125.

7. C. C. Chang and H. G. Keisler, Model Theory, 3th Edition, Studies in Logic, North-Holland, Amsterdam, 1990. | MR 1059055 | Zbl 0697.03022

8. K. L. Clark, Negation as Failure, in Logic and Data Bases, H. Gallaire et J. Minkers eds., Plenum Press, New York, 1978, p. 293-322.

9. J.-P. Delahaye, Sémantiques Logiques et Dénotationnelles des Interpréteurs PROLOG, in Theoretical Informatics and Applications, 1988, vol. 22, p. 3-42. | Numdam | MR 945922 | Zbl 0652.68025

10. W. Drabent, Completeness of SLDNF-resolution for non-floundering queries, in Journal of Logic Programming, 1996, vol. 27, n° 2, p. 89-106. | MR 1386806 | Zbl 0874.68050

11. F. Fages, Constructive Negation by Pruning, in Journal of Logic Programming, 1997, vol. 32, n° 2, p. 85-118. | MR 1448073 | Zbl 0882.68034

12. F. Fages, Constructive negation by pruning and optimization higher-order predicates, in CLP and CC languages, In M. Nivat et A. Podelski eds., Constraints: Basics and Trends, Lecture Notes in Computer Science, n° 910, Springer-Verlag, 1995, p. 68-89.

13. M. Fitting, A KRIPKE-KLEENE Semantics for Logic Programs, in Journal of Logic Programming, 1985, vol. 2, n° 4, p. 295-312. | MR 818647 | Zbl 0589.68011

14. B. Gil, Intériorisation de la Négation en Programmation Logique, Thèse, Université d'Aix-Marseille-II, 1991.

15. B. Gil, Complete Extension of General Logic Programs, Theoretical Computer Science 94, Elsevier, 1992, p. 281-294. | MR 1157860 | Zbl 0754.68028

16. H. J. Keisler, Model Theory for Infinitary Logic (Logic with Countable Conjonctions and Finite Quantifiers), Studies in Logic and The Foundations of Mathematics, vol. 62, North-Holland Publishing Company, Amsterdam-London, 1971. | MR 344115 | Zbl 0222.02064

17. K. Kunen, Negation in Logic Programming, in Journal of Logic Programming, 1987, n° 4, p. 289-308. | MR 916936 | Zbl 0655.68018

18. K. Kunen, Signed Data Dependencies in Logic Programs, in Journal of Logic Programming, 1989, n° 7, p. 231-245. | MR 1022791

19. B. Meltzer, Theorem-proving for Computers: Some Results on Resolution and Renaming, in Automation of Reasoning, J. Siekmann et G.Wrightson eds., Springer-Verlag, Berlin, 1983, vol. 1, p. 493-495. (Première parution de l'article in Computing Journal 8, 1966, p. 341-343.) | MR 191128 | Zbl 0158.26004

20. P. J. Stuckey, Constructive Negation for Constraint Logic Programming, in Proceedings LICS, Amsterdam, 1991, p. 328-335.