CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Reasoning in high schools: Do it with ASP! ?
Agostino Dovier
,
Paolo Benoli
,
Maria Concetta Brocato
,
Luciano Dereani
,
Federica Tabacco
2016-01-01
Cite
URL
Type
Conference paper
Publication
CEUR Workshop Proceedings
Ai and games; Modeling; Teaching logic programming; Computer Science (all)
Related
Solving the medical student scheduling problem using simulated annealing
An xAI Approach for Data-to-Text Processing with ASP
Towards explainable data-to-text generation
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
Cite
×