Alan M. Frisch. Using Model Theory to Specify AI Programs. In IJCAI. pages 148-154, 1985.
@inproceedings{Frisch85,
title = {Using Model Theory to Specify AI Programs},
author = {Alan M. Frisch},
year = {1985},
researchr = {https://researchr.org/publication/Frisch85},
cites = {0},
citedby = {0},
pages = {148-154},
booktitle = {IJCAI},
}