{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T01:22:41Z","timestamp":1648862561769},"reference-count":20,"publisher":"EDP Sciences","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1997]]},"DOI":"10.1051\/ita\/1997310504111","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:17:33Z","timestamp":1486048653000},"page":"411-428","source":"Crossref","is-referenced-by-count":0,"title":["N\u00e9gation constructive et axiomatique interne"],"prefix":"10.1051","volume":"31","author":[{"given":"G.","family":"Blanc","sequence":"first","affiliation":[]},{"given":"K.","family":"Liogier","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. APT K. R., Introduction to Logic Programming, Handbook of Theoretical Computer Science (J. Van Leeuwen), North Holland, 1990.11271950900.68136"},{"key":"R2","unstructured":"2. BLEUZEN-GUERNALEC N. et GIL B., Internal Negation in Logic Programming, Rapport Technique, U.A.225, Universit\u00e9 d'Aix-Marseille-II, 1989."},{"key":"R3","unstructured":"3. BRIEU A., N\u00e9gation en Programmation par Contraintes, Th\u00e8se de Doctorat (en pr\u00e9paration), Institut de Math\u00e9matiques de Luminy, Universit\u00e9 de la M\u00e9diterran\u00e9e."},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. BRUSCOLI P., LEVI F., LEVI G. et MEO M. C., 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.12867510938.68571","DOI":"10.1007\/BFb0017473"},{"key":"R5","unstructured":"5. CHAN D., Constructive Negation Based on the Completed Database, Technical Report, ECRC, 1988."},{"key":"R6","unstructured":"6. CHAN D., 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."},{"key":"R7","unstructured":"7. CHANG C. C. and KEISLER H. G., Model Theory, 3th Edition, Studies in Logic, North-Holland, Amsterdam, 1990.10590550697.03022"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. CLARK K. L., Negation as Failure, in Logic and Data Bases, H. Gallaire et J. Minkers eds., Plenum Press, New York, 1978, p. 293-322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. DELAHAYE J.-P., S\u00e9mantiques Logiques et D\u00e9notationnelles des Interpr\u00e9teurs PROLOG, in Theoretical Informatics and Applications, 1988, vol. 22, p. 3-42.922989459220652.68025","DOI":"10.1051\/ita\/1988220100031"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. DRABENT W., Completeness of SLDNF-resolution for non-floundering queries, in Journal of Logic Programming, 1996, vol. 27, n\u00b0 2, p. 89-106.13868060874.68050","DOI":"10.1016\/0743-1066(95)00118-2"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. FAGES F., Constructive Negation by Pruning, in Journal of Logic Programming, 1997, vol. 32, n\u00b0 2, p. 85-118.14480730882.68034","DOI":"10.1016\/S0743-1066(96)00092-1"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"12. FAGES F., 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\u00b0 910, Springer-Verlag, 1995, p. 68-89.","DOI":"10.1007\/3-540-59155-9_5"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. FITTING M., A KRIPKE-KLEENE Semantics for Logic Programs, in Journal of Logic Programming, 1985, vol. 2, n\u00b0 4, p. 295-312.8186470589.68011","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"R14","unstructured":"14. GIL B., Int\u00e9riorisation de la N\u00e9gation en Programmation Logique, Th\u00e8se, Universit\u00e9 d'Aix-Marseille-II, 1991."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. GIL B., Complete Extension of General Logic Programs, Theoretical Computer Science 94, Elsevier, 1992, p. 281-294.11578600754.68028","DOI":"10.1016\/0304-3975(92)90039-I"},{"key":"R16","unstructured":"16. KEISLER H. J., 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.3441150222.02064"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. KUNEN K., Negation in Logic Programming, in Journal of Logic Programming, 1987, n\u00b0 4, p. 289-308.9169360655.68018","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"18. KUNEN K., Signed Data Dependencies in Logic Programs, in Journal of Logic Programming, 1989, n\u00b0 7, p. 231-245.1022791","DOI":"10.1016\/0743-1066(89)90022-8"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"19. MELTZER B., 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\u00e8re parution de l'article in Computing Journal 8, 1966, p. 341-343.)1911280158.26004","DOI":"10.1007\/978-3-642-81952-0_30"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"20. STUCKEY P. J., Constructive Negation for Constraint Logic Programming, in Proceedings LICS, Amsterdam, 1991, p. 328-335.","DOI":"10.1109\/LICS.1991.151657"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1997310504111\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T06:01:45Z","timestamp":1568786505000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1997310504111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":20,"journal-issue":{"issue":"5"},"alternative-id":["ita1997310504111"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1997310504111","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}