1.5k citations
- X. He2 profiles55 · h 52
- V. Papavassiliou4 profiles36 · h 64
- A. Bazilevsky3 profiles31 · h 55
- A. Denisov3 profiles31 · h 53
- A. Deshpande4 profiles31 · h 44
- A. Drees3 profiles31 · h 54
- A. Durum2 profiles31 · h 52
- A. Franz5 profiles31 · h 52
- A. Glenn2 profiles31 · h 56
- A. Isupov2 profiles31 · h 41
- A. Khanzadeev7 profiles31 · h 95
- A. Lebedev5 profiles31 · h 56
- Los Alamos National LaboratoryUS45 papers
- The University of TokyoJP40 papers
- Centre National de la Recherche ScientifiqueFR36 papers
- Columbia UniversityUS36 papers
- Seoul National UniversityKR36 papers
- University of New MexicoUS36 papers
- CEA Paris-SaclayFR35 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR35 papers
- Georgia State UniversityUS35 papers
- Oak Ridge National LaboratoryUS35 papers
- Vanderbilt UniversityUS35 papers
- Abilene Christian UniversityUS34 papers
Showing 2010 · cs.AIShow all
2 papers · 2 filters
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…