We discuss a Paper by Chen, Trevisan and Thibaux. Abstract: Current approaches for learning for planning have yet to achieve competitive performance against classical planners in several domains,...
We discuss a Paper by Jan Tönshoff and Martin Grohe. Abstract: Boolean Satisfiability (SAT) solvers are foundational to computer science, yet their performance typically hinges on hand-crafted he...
We discuss a Paper by Kohei Kishida. Abstract: The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic ter...
Paper Discussion (Part 2): "Categories for Dynamic Epistemic Logic"
-
A new version of content is available.
