2 results
iON AI
Synthesis
The search results for "cs.AI" include two distinct topics: a perspective on protein folding from statistical physics, emphasizing the stochastic nature of polypeptides forming functional 3D structures, and a study on value withdrawal explanation in constraint satisfaction problems (CSP), focusing on domain reduction and debugging in constraint logic programs like GNU-Prolog. Both highlight the application of AI techniques to complex problem-solving domains, one in biological processes and the other in computational logic.
⭐ Top Result
In this paper, we introduce an approach to the protein folding problem from the point of view of statistical physics. Protein folding is a stochastic process by which a polypeptide folds into its characteristic and functional 3D structure from random coil. The process involves an intricate interplay…
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, constraint solving amounts to domain reduction. A computation is formalized by a chaotic iteration. The computed result is…