Latest

• An xAI Approach for Data-to-Text Processing with ASP
• Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
• Preface
• Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)
• Prolog Meets Biology
• Prolog Meets Biology
• The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
• The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
• Towards explainable data-to-text generation
• 3coSoKu and its declarative modeling
• Constraints Propagation on GPU: A Case Study for AllDifferent
• Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation
• Epistemic Multiagent Reasoning with Collaborative Robots
• GPU Parallelism for SAT Solving Heuristics
• Modeling and Solving the Rush Hour puzzle
• CUDA: Set Constraints on GPUs.
• Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies
• A Java visual simulator of turing machines
• EFP 2.0: A multi-agent epistemic solver with multiple E-state representations
• GPU-Based Parallelism for ASP-Solving
• Modelling Multi-Agent Epistemic Planning in ASP
• Towards a Logic Programming Tool for Cancer Data Analysis
• Non-well-founded set based multi-agent action language
• Towards distributed computation of answer sets
• 2D object reconstruction with ASP
• ASP Applications in Bio-informatics: A Short Tour
• Distributed multi-agent optimization for smart grids and home automation
• Extending logic programming with labelled variables: Model and semantics
• MASP-Reduce: A Proposal for Distributed Computation of Stable Models
• Parallel Answer Set Programming
• Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
• Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models
• Optimization of a compiler from PDDL to Picat (Short Paper)
• Parallel Answer Set Programming
• Preface
• Towards a Logic Programming Tool for Cancer Analysis
• A GPU implementation of the ASP computation
• Compiling and executing PDDL in picat
• Exploring the use of BDDs in conformant planning
• Labelled variables in logic programming: Foundations
• Logic programming applied to genome evolution in cancer?
• Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models
• Reasoning in high schools: Do it with ASP! ?
• A declarative concurrent system for protein structure prediction on GPU
• A Theoretical Perspective of Coinductive Logic Programming
• Constrained Community-based Gene Regulatory Network Inference
• CUD@SAT: SAT solving on GPUs
• Foreword [to Constraint Solving and Planning with Picat]
• Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems
• Logic programming and bisimulation
• Parallel execution of the ASP computation - An investigation on GPUs
• Planning as tabled logic programming
• A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
• EDITORIAL, December 2014
• Editorial, June/July 2014
• Editorial, March 2014
• Editorial, September 2014
• Experimenting with FIASCO for protein structure prediction.
• Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages
• Set Graphs VI: Logic Programming and Bisimulation
• Towards a complete constraint solver on GPU
• A Constraint Solver for Flexible Protein Models
• A multi-paradigm tool for large neighborhood search
• A Tabled Prolog Program for Solving Sokoban
• Autonomous agents coordination: Action languages meet CLP(FD) and Linda
• co-LP: Back to the Roots
• 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
• Introduction to the 28th International Conference on Logic Programming Special Issue
• Introduction to the technical communications of the 28th international conference on logic programming special issue
• Protein Loop Modeling via Constraints and Fragment Assembly
• Protein Structure Analysis with Constraint Programming.
• A Tabled Prolog Program for Solving Sokoban
• A Tabled Prolog Program for Solving Sokoban
• BAAC: A Prolog System for Action Description and Agents Coordination
• Editorial, December 2011
• Editorial, June 2011
• Editorial, March 2011
• Editorial, September 2011
• Exploring Protein Fragment Assembly Using CLP
• Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
• Perspectives on Logic-based Approaches for Reasoning About Actions and Change
• PrettyCLP: a Light Java Implementation for Teaching CLP
• Recent constraint/logic programming based advances in the solution of the protein folding problem
• A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP
• An investigation of Multi-Agent Planning in CLP.
• Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
• CLP-based protein fragment assembly
• Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
• Constraint based methods for bioinformatics (Chapter VI)
• Editorial, December 2010
• Editorial, June 2010
• Editorial, March 2010
• Editorial, September 2010
• Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
• Multi-valued Action Languages with Constraints in CLP(FD)
• A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++
• A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++
• An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
• Answer Set Programming with Constraints using Lazy Grounding
• Applying Model-Checking to solve Queries on Semistructured Data
• GASP: Answer Set Programming with Lazy Grounding
• Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
• Present and Future Challenges for ASP Systems
• Representing Multi-Agent Planning in CLP
• A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem
• A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
• Compiling and Executing Declarative Modeling Languages in Gecode
• Introduction to the Special Issue on Bioinformatics and Constraints
• Agent-based Protein Structure Prediction
• An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
• Enhancing the Computation of Approximate Solutions of the Protein Structure Determination
• Module Identification Using Biological Constraints
• Multivalued Action Languages with Constraints in CLP(FD)
• Scoring predictive models using a reduced representation of proteins: model and energy definition
• The Density Constraint
• Decidability Results for Sets with Atoms
• Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
• Global Constraints for Discrete Lattices
• Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search
• Reconstruction with Interval Constraints Propagation
• 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
• Agent-Based Protein Folding Simulation
• Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD)
• Interval-based Modelling with Constraints Propagation
• An Efficient Algorithm for Computing Bisimulation Equivalence
• Constraint Logic Programming approach to protein structure prediction
• Designing an urban-scale auditory alert system
• Disunification in ACI1 Theories
• Protein Folding in CLP(FD) with Empirical Contact Energies
• Protein Folding Simulation in CCP
• Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001.
• Integrating Finite Domain Constraints and CLP with Sets
• Intensional Sets in CLP
• The Subgraph Bisimulation Problem
• Operational and abstract semantics of the query language G-Log
• Rank-Based Symbolic Bisimulation (and Model Checking)
• Using Secondary Structure Information for Protein Folding in CLP(FD)
• A Fast Bisimulation Algorithm
• Constructive negation and constraint logic programming with sets
• Designing the minimal structure of hidden Markov model by bisimulation
• Model Checking Based Data Retrieval
• Multiset Constraints and P Systems
• Multiset rewriting by multiset constraint solving
• A Necessary Condition for Constructive Negation in Constraint Logic Programming
• Comparing Expressiveness of Set Constructor Symbols
• Sets and Constraint Logic Programming
• ACI1 Constraints
• From Set to Hyperset Unification
• Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case
• A Minimality Study for Set Unification
• A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
• On the Representation and Management of Finite Sets in CLP-languages
• On T Logic Programming
• Integrating lists, multisets, and sets in a logic programming framework.
• Minimal set unification
• Compiling Intensional Sets in CLP
• A language with Finite Sets embedded in the CLP-scheme
• A WAM based Implementation of a Logic Language with Sets
• Embedding extensional finite sets in CLP
• Embedding Finite Sets in a Logic Programming Language
• log: A Logic Programming Language with Finite Sets