no code implementations • 29 Mar 2013 • Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas.
no code implementations • COLING 2012 • Romina Altamirano, Carlos Areces, Luciana Benotti