207 citations · 287 across the 21 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.AI2010★ 15 cited
CLP-based protein fragment assembly
Alessandro Dal Palu', Agostino Dovier, Federico Fogolari +1
The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments are extracte…
cs.AI2010★ 5 cited
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
Chitta Baral, Gregory Gelfond, Enrico Pontelli +1
The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational fra…