Eric Tsang

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Satisfiability Testing

Strips Planning

Propositional Logic

Top Venues

Publications

Aaron Hunter, François Schwarzentruber, Eric Tsang
Belief Manipulation Through Propositional Announcements. IJCAI (2017)
Aaron Hunter, Eric Tsang
GenB: A General Solver for AGM Revision. JELIA (2016)