Chart parsers as inference systems for fixed-mode logic programs-Reference-Cited by-同舟云学术

Chart parsers as inference systems for fixed-mode logic programs

Published:1996-12 Issue:4 Volume:14 Page:429-458
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:NGCO

Author:

Rosenblueth David A.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

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

Reference26 articles.

1. Alvarez-Manilla, M., “Programas Orientados a Estados: Su Relación con Programas Lógicos y Lenguajes Formales,”B. Sc. thesis, Universidad Nacional Autónoma de México, 1995.

2. Bancilhon, F., Maier, D., Sagiv, Y., and Ullman, J. D., “Magic Sets and Other Strange Ways to Implement Logic Programs,” inProceedings of the Fifth ACM Symposium on Principles of Database Systems, pp. 1–15, 1986.

3. Technical Report;F. Bancilhon,1988

4. Beeri, C. and Ramakrishnan, R., “On the Power of Magic,” inProceedings of the Sixth ACM Symposium on Principles of Database Systems, pp. 269–283, 1987.

5. Chang, C. L., “On the Evaluation of Queries Containing Derived Relations in Relational Databases,” inAdvances in Database Theory, Vol. I (H. Gallaire, J. Minker, and J.-M. Nicolas, eds.), Plenum Press, pp. 235–260, 1981.

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

1. Chain programs for writing deterministic metainterpreters;Theory and Practice of Logic Programming;2002-03

2. SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing;The Journal of Logic Programming;1998-03