A Strong Logic Programming View for Static Embedded Implications-Reference-Cited by-同舟云学术

A Strong Logic Programming View for Static Embedded Implications

Published:1999 Issue: Volume: Page:56-72
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Arruabarrena R.,Lucio P.,Navarro M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49019-1_5

Reference21 articles.

1. Arruabarrena, R. and Navarro, M. On Extended Logic Languages Supporting Program Structuring, In: Proc. of APPIA-GULP-PRODE’96, 191–203, (1996).

2. Bugliesi, M., Lamma, E. and Mello, P., Modularity in Logic Programming, Journal of Logic Programming, (19-20): 443–502, (1994).

3. Bonner, A. J., and McCarty, L. T., Adding Negation-as-Failure to Intuitionistic Logic Programming, In: Proc. of the North American Conf. on Logic Programming, MIT Press, 681–703, (1990).

4. Bonner, A. J., McCarty, L. T., and Vadaparty, K., Expresing Database Queries with Intuitionistic Logic. In: Proc. of the North American Conf. on Logic Programming, MIT Press, 831–850, (1989).

5. Gabbay, D. M., N-Prolog: An Extension of Prolog with Hypothetical Implications. II. Logical Foundations and Negation as Failure, Journal of Logic Programming 2(4):251–283 (1985).

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

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

2. A Transformational Semantics of Static Embedded Implications of Normal Logic Programs;Logic Based Program Synthesis and Transformation;2006

3. Goals in the Propositional Horn ⊃ Language Are Monotone Boolean Circuits;Mathematical Foundations of Computer Science 2005;2005

4. Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic;Frontiers of Combining Systems;2000