What is failure? An approach to constructive negation-Reference-Cited by-同舟云学术

What is failure? An approach to constructive negation

Published:1995-01 Issue:1 Volume:32 Page:27-59
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Drabent Wlodzimierz

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01185404.pdf

Reference40 articles.

1. Apt, K., Bol, R.: Logic programming and negation: a survey. Technical Report CS-R9402, CWI Amsterdam, 1994. To appear in Journal of Logic Programming

2. Apt, K.: Logic Programming. In: Leeuwen, J. van (ed.) Handbook of theoretical computer science, vol. B, chapter 10, pp. 493?574. Elsevier Science Publishers B. V. Amsterdam: 1990

3. Bol, R., Degerstedt, L.: Tabulated resolution for well founded semantics. In: Miller, D. (ed.) Logic programming?Proceedings of the 1993 International Symposium, pp. 199?219. The MIT Press, 1993

4. Barbuti, R., Mancarella, D., Pedreschi, D., Turini, F.: A transformational approach to negation in logic programming J. of Logic Programming 8(3), 201?228 (1990)

5. Bonnier, S., Nilsson, U., Näslund, T.: A simple fixed point characterization of three-valued stable model semantics. Information Processing Letters 40, 73?78 (1991)

Cited by 42 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specifications are Preferably Amenable to Proof and Animation;Lecture Notes in Computer Science;2024

2. On Correctness of Normal Logic Programs;Logic-Based Program Synthesis and Transformation;2022

3. Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics;Cybernetics and Systems;2017-03-02

4. An extended constraint deductive database: Theory and implementation;The Journal of Logic and Algebraic Programming;2014-01

5. Semantics of structured normal logic programs;The Journal of Logic and Algebraic Programming;2012-07