Leandro Chaves Rêgo

Statistics Department Federal University of Pernambuco , Brazil

1 paper in the IJCAI proceedings

IJCAI 2007

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic

with Joseph Y. Halpern

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings