Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Flávio Cruz
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs
Tabled Logic Programming Based IP Matching Tool Using Forced Simulation
IEE Proceedings - Computers and Digital Techniques
Subscription Subsumption Evaluation for Content-Based Publish/Subscribe Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programs for Consistency-Based Diagnosis.
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Reexecution-Based Analysis of Logic Programs With Delay Declarations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Journal of Artificial Intelligence Research
Artificial Intelligence
