Intensional query answering by partial evaluation-Reference-Cited by-同舟云学术

Intensional query answering by partial evaluation

Published:1996-11 Issue:3 Volume:7 Page:205-233
ISSN:0925-9902
Container-title:Journal of Intelligent Information Systems
language:en
Short-container-title:J Intell Inf Syst

Author:

de Giacomo Giuseppe

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Information Systems,Software

Link

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

Reference44 articles.

1. C. Aravindan and P. M. Dung. Partial Deduction of Logic Programs wrt Well-Founded Semantics. New Generation Computing, 13(1):45?71, 1994.

2. K. Benkerimi and P. Hill. Supporting transformation for partial evaluation of logic programs. J. of Logic and Computation, 3(5):469?486, 1993.

3. K. Benkerimi and J. W. Lloyd. A partial evaluation procedure for logic programs. In Proc. of North American Conf. on Logic Programming, pages 343?358. MIT Press, 1990.

4. R. Bol. Loop checking in partial deduction. J. of Logic Programming 16(1?2):25?45, 1993.

5. D. Chan. Constructive negation based on the completed database. In Proc. of 5th International Conference and Symposium on Logic Programming, pages 111?125. MIT Press, 1988.

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

1. The Odyssey Project – Understanding and Implementing User Needs in the Context of Ballistic Crime Data Exchange;Advanced Information and Knowledge Processing;2011

2. Computing intensional answers to questions – An inductive logic programming approach;Data & Knowledge Engineering;2010-03

3. Consequence finding and computing answers with defaults;Journal of Intelligent Information Systems;2006-01

4. Consequence Finding in Default Theories;Flexible Query Answering Systems;2004

5. Decision support tools for clinical trial design;Artificial Intelligence in Medicine;2003-02