Using Model Theory to Specify AI Programs. Frisch, A. M. In IJCAI-85, pages 148-154, August, 1985. bibtex @inproceedings{ Frisch/85/Using,
author = {Alan M. Frisch},
title = {Using Model Theory to Specify AI Programs},
booktitle = {IJCAI-85},
month = {August},
pages = {148-154} ,
year = {1985}
}
Downloads: 0
{"_id":{"_str":"5201d867d40bcbb041000a4d"},"__v":8,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Frisch, A. M."],"bibbaseid":"frisch-usingmodeltheorytospecifyaiprograms-1985","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]}],"title":"Using Model Theory to Specify AI Programs","booktitle":"IJCAI-85","month":"August","pages":"148-154","year":"1985","bibtex":"@inproceedings{ Frisch/85/Using,\n author = {Alan M. Frisch},\n title = {Using Model Theory to Specify AI Programs},\n booktitle = {IJCAI-85},\n month = {August},\n pages = {148-154} ,\n year = {1985}\n}\n\n\n","author_short":["Frisch, A. M."],"key":"Frisch/85/Using","id":"Frisch/85/Using","bibbaseid":"frisch-usingmodeltheorytospecifyaiprograms-1985","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["using","model","theory","specify","programs","frisch"],"title":"Using Model Theory to Specify AI Programs","title_words":["using","model","theory","specify","programs"],"year":1985,"dataSources":["aWoXKdFNdx2gZ47qg"]}