Semantically guiding a first-order theorem prover with a soft model

Citation

Binas, A & Slaney, J 2004, 'Semantically guiding a first-order theorem prover with a soft model', National Conference on Artificial Intelligence (AAAI 2004), AAAI Press, USA, pp. 948-949.

Year

2004

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers