ML Anthology

Guerra, Paulo T.

1 publications

IJCAI 2011 Belief Revision on Computation Tree Logic Paulo T. Guerra, Renata Wassermann