2 papers
cs.LG2018
Neural State Classification for Hybrid Systems
Dung Phan, Nicola Paoletti, Timothy Zhang +3
We introduce the State Classification Problem (SCP) for hybrid systems, and present Neural State Classification (NSC) as an efficient solution technique. SCP generalizes the model…
cs.LO2018
Constraint-Based Inference in Probabilistic Logic Programs
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Probabilistic Logic Programs (PLPs) generalize traditional logic programs and allow the encoding of models combining logical structure and uncertainty. In PLP, inference is perform…