Proceedings

Elena Marchiori

1 paper in the IJCAI proceedings

IJCAI 1995

A Methodology for Proving Termination of General Logic Programs
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards