Thierry Boy de la Tour

Demri LIFIA-IMAG 46 , Av. Felix Viallet , 38031 Grenoble Cedex , France

1 paper in the IJCAI proceedings

IJCAI 1995

On the Complexity of Extending Ground Resolution with Symmetry Rules

with Stéphane Demri

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings