Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ICLP
1992
Springer

favoriteEmaildiscussreport

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

13 years 8 months ago

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

Download reference.kfupm.edu.sa

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

Real-time Traffic

Automated Reasoning | ICLP 1992 |

claim paper

Related Content

» Knowledge Representation with Logic Programs

» Implementing and Evaluating a RuleBased Approach to Querying Regular EL Ontologies

» Quasiterminating logic programs for ensuring the termination of partial evaluation

» Language Independence and Language Tolerance in Logic Programs

» Coinductive Logic Programming with Negation

» A Logic Based Approach for Dynamic Access Control

» SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

» HigherOrder Narrowing

» On the Power of TreeWalking Automata

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ICLP
Authors	David B. Kemp, Peter J. Stuckey, Divesh Srivastava

Comments (0)