E. Pontelli

Latest

• Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
• Prolog Meets Biology
• Prolog Meets Biology
• Constraints Propagation on GPU: A Case Study for AllDifferent
• Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies
• EFP 2.0: A multi-agent epistemic solver with multiple E-state representations
• Modelling Multi-Agent Epistemic Planning in ASP
• Non-well-founded set based multi-agent action language
• Towards distributed computation of answer sets
• Parallel Answer Set Programming
• Logic programming applied to genome evolution in cancer?
• EDITORIAL, December 2014
• Editorial, June/July 2014
• Editorial, March 2014
• Editorial, September 2014
• Experimenting with FIASCO for protein structure prediction.
• A Constraint Solver for Flexible Protein Models
• Autonomous agents coordination: Action languages meet CLP(FD) and Linda
• CUD@ASP: Experimenting with GPUs in ASP solving
• Editorial, December 2013
• Editorial, January 2013
• Editorial, June 2013
• Editorial, September 2013
• Protein structure prediction on GPU: A declarative approach in a multi-Agent framework
• A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints.
• Editorial, December 2012
• Editorial, June 2012
• Editorial, March 2012
• Editorial, September 2012
• Exploiting unexploited computing resources for computational logics
• Protein Structure Analysis with Constraint Programming.
• Editorial, December 2011
• Editorial, June 2011
• Editorial, March 2011
• Editorial, September 2011
• Perspectives on Logic-based Approaches for Reasoning About Actions and Change
• An investigation of Multi-Agent Planning in CLP.
• CLP-based protein fragment assembly
• Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
• Editorial, December 2010
• Editorial, June 2010
• Editorial, March 2010
• Editorial, September 2010
• Multi-valued Action Languages with Constraints in CLP(FD)
• An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
• GASP: Answer Set Programming with Lazy Grounding
• A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
• Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
• The Density Constraint
• Set Unification
• A comparison of CLP(FD) and ASP solutions to NP-complete problems
• A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
• Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD)
• Disunification in ACI1 Theories
• Constructive negation and constraint logic programming with sets
• A Necessary Condition for Constructive Negation in Constraint Logic Programming
• Sets and Constraint Logic Programming
• ACI1 Constraints
• On the Representation and Management of Finite Sets in CLP-languages
• Compiling Intensional Sets in CLP
• A WAM based Implementation of a Logic Language with Sets
• Embedding Finite Sets in a Logic Programming Language
• log: A Logic Programming Language with Finite Sets