https://filipegouveia.github.io/2030-06-01T13:00:00+00:00weeklyhttps://filipegouveia.github.io/publication-type/1/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2025/epia/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication-type/conference-paper/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/maxsat/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication_types/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/sat/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tags/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/train-scheduling/2025-09-16T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/fairness/2025-05-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/inductive-logic-programming/2025-05-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/machine-learning/2025-05-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2025/tacas/2025-05-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/proxy-attributes/2025-05-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/logic-programs/2025-04-11T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/refactoring/2025-04-11T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2025/aaai/2025-04-11T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication-type/2/2024-03-31T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2024/jair/2024-03-31T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/answer-set-programming/2023-09-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/project/autocs/2023-09-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/automated-reasoning/2023-09-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/program-synthesis/2023-09-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/project/2023-09-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/bias/2023-03-12T00:00:00+00:00weeklyhttps://filipegouveia.github.io/project/riga/2023-03-12T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication-type/7/2021-09-17T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/logical-models/2021-09-17T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/model-revision/2021-09-17T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/theses/phd/2021-09-17T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/modrev/2021-09-17T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2020/cmsb/2020-09-29T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication-type/3/2020-05-12T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2020/biorxiv/2020-05-12T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/golem/2020-04-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/project/golem/2020-04-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2020/jcb/2020-02-06T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2019/isbra/2019-05-19T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2018/iclp/2018-11-19T00:00:00+00:00weeklyhttps://filipegouveia.github.io/project/modrev/2018-01-01T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/boolean-satisfiability/2017-08-09T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/logic-programming/2017-08-09T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/2017/epia/2017-08-09T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/ricochet-robots/2017-08-09T00:00:00+00:00weeklyhttps://filipegouveia.github.io/tag/protein-design/2012-11-05T00:00:00+00:00weeklyhttps://filipegouveia.github.io/publication/theses/msc/2012-11-05T00:00:00+00:00weeklyhttps://filipegouveia.github.io/admin/weeklyhttps://filipegouveia.github.io/teaching/weeklyhttps://filipegouveia.github.io/categories/weekly