Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Taher Ali
Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs
Related publications
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extracting Proofs From Tabled Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Practical Type Analysis for Verification of Modular Prolog Programs
Programs as Collections of Communicating Prolog Units
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Service Differentiation for Collaborative Caching Query Process in Mobile Database
Efficient and Self-Tuning Incremental Query Expansion for Top-K Query Processing
Graph-Aware, Workload-Adaptive SPARQL Query Caching
