CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Foreword [to Constraint Solving and Planning with Picat]
Agostino Dovier
2015-01-01
Cite
Type
Book section
Publication
Constraint Solving and Planning with Picat
Related
3coSoKu and its declarative modeling
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies
CUDA: Set Constraints on GPUs.
Modelling Multi-Agent Epistemic Planning in ASP
Towards a Logic Programming Tool for Cancer Data Analysis
Cite
×