CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
Agostino Dovier
,
A Formisano
,
Enrico Pontelli
2010-01-01
Cite
URL
Type
Conference paper
Publication
Proceedings of CILC2010, 25th Italian Conference on Computational Logic Rende
Related
CUDA: Set Constraints on GPUs.
ASP Applications in Bio-informatics: A Short Tour
Distributed multi-agent optimization for smart grids and home automation
MASP-Reduce: A Proposal for Distributed Computation of Stable Models
A GPU implementation of the ASP computation
Cite
×