2

Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)
Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that …
Andrew Cropper, Filipe Gouveia, David M. Cerna
Cite Project DOI
Iterative Train Scheduling under Disruption with Maximum Satisfiability
This paper proposes an iterative Maximum Satisfiability (MaxSAT) approach designed to solve train scheduling optimization problems. The …
Alexandre Lemos, Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Cite DOI
Revision of Boolean Models of Regulatory Networks Using Stable State Observations
Models of biological regulatory networks are essential to understand cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI