Proceedings

Antoni Ligeza

1 paper in the IJCAI proceedings

IJCAI 1993

A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards