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

Oliver Ray, M. Gabrielli, G. Gupta

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)

Abstract

Extended Abstract
Original languageEnglish
Title of host publication21st International Conference on Logic Programming
PublisherSpringer
Publication statusPublished - 2005

Bibliographical note

Other page information: 410-411
Conference Proceedings/Title of Journal: 21st International Conference on Logic Programming
Other identifier: 2000716

Cite this

Ray, O., Gabrielli, M., & Gupta, G. (2005). The need for Ancestor Resolution when answering queries in Horn clause logic. In 21st International Conference on Logic Programming Springer. http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000716