Peer Reviewed Papers

In reverse chronological order:


My Ph.D. thesis (“Dyna 2: Towards a General Weighted Logic Language”, JHU Computer Science, Fall 2017) is available here. Parts of the work leading up to the thesis were also written up as smaller documents and self-published:

Extended Abstracts and Similar

Invited Papers

Invited Talks

Technical Reports