Generalizing the QSQR evaluation method for Horn knowledge bases (2008)

Cached

Download Links

by Ewa Madalińska-bugaj , Linh Anh Nguyen
Venue:New Challenges in Applied Intelligence Technologies, volume 134 of Studies in Computational Intelligence
Citations:2 - 2 self

Active Bibliography

766 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
259 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
1 Techniques for Preventing Recomputation in Logic Programs – Paulo Jorge, Sousa Azevedo
454 Answering Queries Using Views: A Survey – Alon Y. Halevy - 2000
429 Real-Time Systems – Fan Liu, Ajit Narayanan, Quan Bai - 2000
402 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003
370 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
IOS Press Hybrid Reasoning on OWL RL – Jacopo Urbani A, Robert Piro, Frank Harmelen, Henri Bal
Tabled Logic Programs: Principles, Practice and Applications – C. R. Ramakrishnan, I.V. Ramakrishnan, Konstantinos Sagonas, Terrance Swift, David S. Warren