Skip to main content

The need for Ancestor Resolution when answering queries in Horn clause logic

Oliver Ray, The need for Ancestor Resolution when answering queries in Horn clause logic. 21st International Conference on Logic Programming. M. Gabrielli, G. Gupta, (eds.), pp. 410–411. October 2005. PDF, 197 Kbytes.

Abstract

Extended Abstract

Bibtex entry.

Contact details

Publication Admin