Enrico Pontelli

Latest

• CUDA: Set Constraints on GPUs.
• ASP Applications in Bio-informatics: A Short Tour
• Distributed multi-agent optimization for smart grids and home automation
• MASP-Reduce: A Proposal for Distributed Computation of Stable Models
• A GPU implementation of the ASP computation
• Exploring the use of BDDs in conformant planning
• A declarative concurrent system for protein structure prediction on GPU
• Constrained Community-based Gene Regulatory Network Inference
• CUD@SAT: SAT solving on GPUs
• Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems
• Parallel execution of the ASP computation - An investigation on GPUs
• Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
• Answer Set Programming with Constraints using Lazy Grounding
• Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
• Representing Multi-Agent Planning in CLP
• An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
• Multivalued Action Languages with Constraints in CLP(FD)