ML Anthology

Automatic Program Synthesis in Second-Order Logic

Jared L. Darlington
IJCAI 1973 pp. 537-542
doi:10.1007/s00038-019-01294-1 /ijcai/1973/darlington1973ijcai-automatic/

Abstract

A sizable share of hospitalizations for nursing home residents is for ACSCs, and the associated costs are substantial. Programs and policies designed to reduce these potentially avoidable hospitalizations from the nursing home setting could lead to an increased patient well-being and lower costs.

PDF Semantic Scholar

Cite

Text

Darlington. "Automatic Program Synthesis in Second-Order Logic." International Joint Conference on Artificial Intelligence, 1973. doi:10.1007/s00038-019-01294-1

Markdown

[Darlington. "Automatic Program Synthesis in Second-Order Logic." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/darlington1973ijcai-automatic/) doi:10.1007/s00038-019-01294-1

BibTeX

@inproceedings{darlington1973ijcai-automatic,
  title     = {{Automatic Program Synthesis in Second-Order Logic}},
  author    = {Darlington, Jared L.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {537-542},
  doi       = {10.1007/s00038-019-01294-1},
  url       = {https://mlanthology.org/ijcai/1973/darlington1973ijcai-automatic/}
}