Herbrand Logic

@inproceedings{Hinrichs2006HerbrandL,
  title={Herbrand Logic},
  author={Timothy L. Hinrichs and Michael R. Genesereth},
  year={2006}
}

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…