Zachary J. Susag

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Fixpoint Semantics

Normal Logic Programs

Probabilistic Logic Programs

Top Venues

Publications

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs (extended version). CoRR (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)