Proceedings

Thierry Boy de la Tour

1 paper in the IJCAI proceedings

IJCAI 1995

On the Complexity of Extending Ground Resolution with Symmetry Rules
with Stéphane Demri
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards