CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Set Graphs VI: Logic Programming and Bisimulation
Agostino Dovier
2014-01-01
Cite
URL
Type
Conference paper
Publication
Proceedings of the 29th Italian Conference on Computational Logic
Bisimulation; Logic Programming
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
×