Timothy Zhang

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Probabilistic Logic Programs

Inference Process

Top Venues

Publications

Aron Sarmasi, Timothy Zhang, Chu-Hung Cheng, Huyen Pham, Xuanchen Zhou, Duong Nguyen, Soumil Shekdar, Joshua McCoy
Meta-Learning a Solution to the Hanabi Ad-Hoc Challenge. FDG (2021)
Aron Sarmasi, Timothy Zhang, Chu-Hung Cheng, Huyen Pham, Xuanchen Zhou, Duong Nguyen, Soumil Shekdar, Joshua McCoy
HOAD: The Hanabi Open Agent Dataset. AAMAS (2021)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Constraint-Based Inference in Probabilistic Logic Programs. Theory Pract. Log. Program. 18 (3-4) (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. CoRR (2018)
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Constraint-Based Inference in Probabilistic Logic Programs. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. ATVA (2018)