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
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
An xAI Approach for Data-to-Text Processing with ASP
Preface
Towards explainable data-to-text generation
Cite
×