Paulo T. Guerra

University of São Paulo São Paulo , Brazil

1 paper in the IJCAI proceedings

IJCAI 2011

Belief Revision on Computation Tree Logic

with Renata Wassermann

doi:10.5591/978-1-57735-516-8/IJCAI11-477

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings