10 results on '"Carro, Manuel"'
Search Results
2. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
3. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
4. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
5. Constraint Answer Set Programming without Grounding
6. Introduction to the 32nd International Conference on Logic Programming Special Issue
7. Description and Optimization of Abstract Machines in a Dialect of Prolog
8. Lightweight compilation of (C)LP to JavaScript
9. Parallel backtracking with answer memoing for independent and-parallelism
10. Swapping evaluation: A memory-scalable solution for answer-on-demand tabling
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.