https://manuel-vg.github.io//posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://manuel-vg.github.io//posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://manuel-vg.github.io//posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://manuel-vg.github.io//posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://manuel-vg.github.io//posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://manuel-vg.github.io//publication/2012-09-06-model-checking-process-equivalences 2012-09-06T00:00:00+00:00 https://manuel-vg.github.io//publication/2014-04-12-model-checking-process-equivalences 2014-04-12T00:00:00+00:00 https://manuel-vg.github.io//publication/2022-10-12-prepositions-matter-in-quantifier-scope-disambiguation 2022-10-12T00:00:00+00:00 https://manuel-vg.github.io//publication/2022-11-14-compositionality-in-a-simple-corpus 2022-11-14T00:00:00+00:00 https://manuel-vg.github.io//publication/2024-06-16-testing-the-limits-of-logical-reasoning-in-neural-and-hybrid-models 2024-06-16T00:00:00+00:00 https://manuel-vg.github.io//talks/2023-07-31-neural-models-for-syllogistic-logic 2023-07-31T00:00:00+00:00 https://manuel-vg.github.io//talks/2024-06-13-testing-the-limits-of-logical-reasoning-in-neural-and-hybrid-models 2024-06-13T00:00:00+00:00 https://manuel-vg.github.io//talks/2025-02-10-hybrid-models-of-natural-reasoning 2025-02-10T00:00:00+00:00 https://manuel-vg.github.io//teaching/2018-2020-teaching 2020-02-03T00:00:00+00:00 https://manuel-vg.github.io//teaching/2022-2026-teaching 2026-02-18T00:00:00+00:00 https://manuel-vg.github.io// https://manuel-vg.github.io//archive-layout-with-content/ https://manuel-vg.github.io//categories/ https://manuel-vg.github.io//collection-archive/ https://manuel-vg.github.io//cv-json/ https://manuel-vg.github.io//cv/ https://manuel-vg.github.io//markdown/ https://manuel-vg.github.io//non-menu-page/ https://manuel-vg.github.io//page-archive/ https://manuel-vg.github.io//publications/ https://manuel-vg.github.io//sitemap/ https://manuel-vg.github.io//tags/ https://manuel-vg.github.io//talkmap.html https://manuel-vg.github.io//talks/ https://manuel-vg.github.io//teaching/ https://manuel-vg.github.io//terms/ https://manuel-vg.github.io//year-archive/ https://manuel-vg.github.io//markdown_generator/ https://manuel-vg.github.io//files/paper1.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//files/paper2.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//files/paper3.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//files/slides1.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//files/slides2.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//files/slides3.pdf 2026-02-28T13:32:07+00:00 https://manuel-vg.github.io//talkmap/map.html 2026-02-28T13:32:07+00:00